This fixes a reported false positive in the malloc checker.
Details
Details
Diff Detail
Diff Detail
Event Timeline
Comment Actions
LGTM!
This could be probably modeled as realloc, and/or we could look for leaks of its return value, if we wanted.
Paths
| Differential D27599
[analyzer] Teach the analyzer that pointers can escape into __cxa_demangle ClosedPublic Authored by zaks.anna on Dec 8 2016, 4:07 PM.
Details Summary This fixes a reported false positive in the malloc checker.
Diff Detail Event TimelineComment Actions LGTM! This could be probably modeled as realloc, and/or we could look for leaks of its return value, if we wanted. This revision is now accepted and ready to land.Dec 9 2016, 5:47 AM Closed by commit rL289886: [analyzer] Teach the analyzer that pointers can escape into __cxa_demangle (authored by zaks). · Explain WhyDec 15 2016, 3:05 PM This revision was automatically updated to reflect the committed changes.
Revision Contents
Diff 80842 lib/StaticAnalyzer/Core/CallEvent.cpp
test/Analysis/Inputs/system-header-simulator-cxx.h
test/Analysis/malloc.cpp
|