PVS-StudioWarnings

PVS-Studio warning V610 for Clang

Nov 17th, 2014
171
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
C++ 0.58 KB | None | 0 0
  1. static Ty getEmptyKey() {
  2.   intptr_t Val = -1;
  3.   Val <<= PointerLikeTypeTraits<PointerTy>::NumLowBitsAvailable;
  4.   return Ty(reinterpret_cast<PointerTy>(Val),
  5.             IntType((1 << IntBits)-1));
  6. }
  7.  
  8. This suspicious code was found in Clang project by PVS-Studio static code analyzer.
  9. Warning message is:
  10. V610 Undefined behavior. Check the shift operator '<<=. The left operand 'Val' is negative. pointerintpair.h 139
  11.  
  12. 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