PVS-StudioWarnings

PVS-Studio warning V600 for Firebird

Nov 11th, 2014
151
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
C++ 0.61 KB | None | 0 0
  1. class jrd_file : public pool_alloc_rpt<SCHAR, type_fil>
  2. {
  3.   ....
  4.   SCHAR fil_string[1];
  5. }
  6.  
  7. void SDW_start(....)
  8. {
  9.   ....
  10.   if (dbb_file && dbb_file->fil_string &&
  11.       expanded_name == dbb_file->fil_string)
  12.   ....
  13. }
  14.  
  15. This suspicious code was found in Firebird project by PVS-Studio static code analyzer.
  16. Warning message is:
  17. V600 Consider inspecting the condition. The 'dbb_file->fil_string' pointer is always not equal to NULL. sdw.cpp 961
  18.  
  19. 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