PVS-StudioWarnings

PVS-Studio warning V547 for SeqAn

Nov 18th, 2014
173
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
C++ 0.63 KB | None | 0 0
  1. template <typename TStream, typename TPass, typename TBuffer>
  2. inline int
  3. readLineStripTrailingBlanks(TBuffer & buffer,
  4.   RecordReader<TStream, TPass> & reader)
  5. {
  6.   ....
  7.   typename Size<TBuffer>::Type pos = length(buffer) - 1;
  8.  
  9.   if (pos < 0)
  10.     return 0;
  11.   ....
  12. }
  13.  
  14. This suspicious code was found in SeqAn project by PVS-Studio static code analyzer.
  15. Warning message is:
  16. V547 Expression 'pos < 0' is always false. Unsigned type value is never < 0. tokenize.h 1548
  17.  
  18. 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