PVS-StudioWarnings

PVS-Studio warning V610 for samba

Nov 13th, 2014
178
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
C++ 0.55 KB | None | 0 0
  1. static void *_idr_find(struct idr_context *idp, int id)
  2. {
  3.   ....
  4.   if (n + IDR_BITS < 31 &&
  5.       ((id & ~(~0 << MAX_ID_SHIFT)) >> (n + IDR_BITS))) {
  6.     return NULL;
  7.   }
  8.   ....
  9. }
  10.  
  11. This suspicious code was found in samba project by PVS-Studio static code analyzer.
  12. Warning message is:
  13. V610 Undefined behavior. Check the shift operator '<<. The left operand '~0' is negative. idtree.c 284
  14.  
  15. PVS-Studio is a static analyzer for detecting bugs in the source code of applications written in C, C++, C++11, C++/CX. Site: http://www.viva64.com/en/pvs-studio/
Advertisement
Add Comment
Please, Sign In to add comment