ba9c0bf1__Look_at_C___Program_Analyzers__ule_on_our_benchmark_programs_
[-] Note 10
Attempts to warn about this only when the condition would cause a runtime problem, but tests showed at least one failure to do so.
Scott Meyers: A First Look at C++ Program Analyzers
The tool failed to detect violations of this rule on our benchmark programs.