]> granicus.if.org Git - clang/commit
[analyzer] Avoid querying this-pointers for static-methods.
authorMatt Davis <Matthew.Davis@sony.com>
Tue, 7 Aug 2018 23:13:28 +0000 (23:13 +0000)
committerMatt Davis <Matthew.Davis@sony.com>
Tue, 7 Aug 2018 23:13:28 +0000 (23:13 +0000)
commit50ab044c0e638017febcfb9f50e498bc02a51287
tree9bc3f86661b41c3efe18add9fc8016172ac58fd5
parent3817323bb7b828a3174d06dbcab58341e5a1dc86
[analyzer] Avoid querying this-pointers for static-methods.

Summary:
The loop-widening code processes c++ methods looking for `this` pointers.  In
the case of static methods (which do not have `this` pointers), an assertion
was triggering.   This patch avoids trying to process `this` pointers for
static methods, and thus avoids triggering the assertion .

Reviewers: dcoughlin, george.karpenkov, NoQ

Reviewed By: NoQ

Subscribers: NoQ, xazax.hun, szepet, a.sidorin, mikhail.ramalho, cfe-commits

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@339201 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/LoopWidening.cpp
test/Analysis/loop-widening-ignore-static-methods.cpp [new file with mode: 0644]