]> granicus.if.org Git - clang/commit
[analyzer] ReturnVisitor: Bypass everything to see inlined calls
authorCsaba Dabis <dabis.csaba98@gmail.com>
Sat, 15 Jun 2019 10:05:49 +0000 (10:05 +0000)
committerCsaba Dabis <dabis.csaba98@gmail.com>
Sat, 15 Jun 2019 10:05:49 +0000 (10:05 +0000)
commit68614bff657fc84425b5b6a93fec455ebaea74cb
treec9182b60c766bb9a919d1db46fde6e629ef297ce
parentd999cf60d597b73f414eec7e9240250e1fae6acd
[analyzer] ReturnVisitor: Bypass everything to see inlined calls

Summary:
When we traversed backwards on ExplodedNodes to see where processed the
given statement we `break` too early. With the current approach we do not
miss the CallExitEnd ProgramPoint which stands for an inlined call.

Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus

Reviewed By: NoQ

Subscribers: szepet, rnkovacs, a.sidorin, mikhail.ramalho, donat.nagy,
             dkrupp, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D62926

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@363491 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
test/Analysis/inlining/placement-new-fp-suppression.cpp [new file with mode: 0644]
test/Analysis/new-ctor-null-throw.cpp
test/Analysis/new-ctor-null.cpp