Diffusion Clang rC185608

[analyzer] Make sure that inlined defensive checks work on div by zero.
rC185608
Actions

Tags

None

Subscribers

None

Description

[analyzer] Make sure that inlined defensive checks work on div by zero.

This suppresses a false positive in std::hash_map.
Fixes radar://14255587.

Details

Committed

zaks	Jul 3 2013, 7:38 PM

Branches

Unknown

Tags

Unknown

Event Timeline

zaks committed rC185608: [analyzer] Make sure that inlined defensive checks work on div by zero..Jul 3 2013, 7:38 PM

Szelethus mentioned this in D64287: [analyzer] Track the right hand side of the last store regardless of its value.Jul 6 2019, 9:34 AM

Szelethus mentioned this in rL368773: [analyzer] Track the right hand side of the last store regardless of its value.Aug 13 2019, 4:49 PM

Szelethus mentioned this in rG0df9c8c57802: [analyzer] Track the right hand side of the last store regardless of its value.

Changes (3)

Path

Size

cfe/

trunk/

lib/

StaticAnalyzer/

Core/

BugReporterVisitors.cpp

test/

Analysis/

inlining/

false-positive-suppression.c

inline-defensive-checks.c

rC185608

cfe/trunk/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp

Loading...

cfe/trunk/test/Analysis/inlining/false-positive-suppression.c

Loading...

cfe/trunk/test/Analysis/inlining/inline-defensive-checks.c

Loading...