Advertisement
PVS-StudioWarnings

PVS-Studio warning V501 for Clang

Nov 25th, 2014
159
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
C++ 0.79 KB | None | 0 0
  1. static Value *SimplifyICmpInst(....) {
  2.   ...
  3.   case Instruction::Shl: {
  4.     bool NUW = LBO->hasNoUnsignedWrap() &&
  5.                LBO->hasNoUnsignedWrap();
  6.     bool NSW = LBO->hasNoSignedWrap() &&
  7.                RBO->hasNoSignedWrap();
  8.   ...
  9. }
  10.  
  11. Most likely this is what should be written here: bool NUW = LBO->hasNoUnsignedWrap() && RBO->hasNoUnsignedWrap();
  12.  
  13. This suspicious code was found in Clang project by PVS-Studio static code analyzer.
  14. Warning message is:
  15. V501 There are identical sub-expressions 'LBO->hasNoUnsignedWrap ()' to the left and to the right of the '&&' operator. LLVMAnalysis instructionsimplify.cpp 1891
  16.  
  17. 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
Advertisement