Community
cancel
Showing results for 
Search instead for 
Did you mean: 
perroe
Beginner
73 Views

False negative - uninitalised variable.

Hi

When compiling and running the attached file Intel Inspector 2011 XE reports "No Problems detected" even though the has_string_ class member variable is used uninitalized. This is a simplified version of a real problem which gave a crash. The problem was found using Valgrind, which correctly reported that a we conditioned on an uninitialised variable.

I'm using Intel Inspector 2011 XE Update 9 (build 218166).

Regards,

Per Re
0 Kudos
5 Replies
Mark_D_Intel
Employee
73 Views

The object 'Test' is allocated on the stack, and by default stack accesses are not analyzed. In the GUI, at the 'Locate Memory Problems' screen, check the box 'Analyze stack accesses'. (From the command line, 'inspxe-cl -collect mi3 -knob analyze-stack-true uma.exe). The uninitialized access of has_string_ is detected when stack analysis is turned on.

Mark
perroe
Beginner
73 Views

Yes, I've run with "analyze stack accesses" checked, but Inspector still does not detect any problems.

Per
Mark_D_Intel
Employee
73 Views

What OS and compiler versions are you using? I tried the attached example on RH6.1 with gcc 4.4.5 and IXE was able to detect the uninitialized access.

Mark
SergeyKostrov
Valued Contributor II
73 Views

Quoting perroe
...
When compiling and running the attached file Intel Inspector 2011 XE reports "No Problems detected" even though the has_string_ class member variable is used uninitalized...

[SergeyK] I just checked the value of the member in the Visual StudioDebugger and it was initialized to 'true'.
Sorry, but I have noidea why it is reported as uninitialized.

This is a simplified version of a real problem which gave a crash. The problem was found using Valgrind, which correctly reported that a we conditioned on an uninitialised variable.

I'm using Intel Inspector 2011 XE Update 9 (build 218166).

Regards,

Per Re


I used a modified Test-Case and I didn't have any problems in Debug and Release configurations. Please take a look:

[cpp]class CTest { public: CTest( const std::string &string ) : string_( string ) { }; void DoSomething( void ) { if( has_string_ ) printf( "%sn", string_.c_str() ); }; private: bool has_string_; std::string string_; }; [/cpp]


As you can see I'm using 'string_.c_str()' instead of 'string_' when output needs to be done.

Best regards,
Sergey

perroe
Beginner
73 Views

What OS and compiler versions are you using? I tried the attached example on RH6.1 with gcc 4.4.5 and IXE was able to detect the uninitialized access.

Mark

I'm using Inspector with Visual Studio 2010 on Windows 7. The Valgrind run was done on RH5 with gcc.

Per

Reply