PVS-StudioWarnings

PVS-Studio warning V547 for QT

Nov 18th, 2014
153
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
C++ 0.62 KB | None | 0 0
  1. bool equals( class1* val1, class2* val2 ) const{
  2. {
  3.   ...
  4.   size_t size = val1->size();
  5.   ...
  6.   while ( --size >= 0 ){
  7.     if ( !comp(*itr1,*itr2) )
  8.       return false;
  9.     itr1++;
  10.     itr2++;
  11.   }
  12.   ...
  13. }
  14.  
  15. An array overrun may surely occur.
  16.  
  17. This suspicious code was found in QT project by PVS-Studio static code analyzer.
  18. Warning message is:
  19. V547 Expression '-- size >= 0' is always true. Unsigned type value is always >= 0. QtCLucene arrays.h 154
  20.  
  21. 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