]> granicus.if.org Git - clang/commit
Merging r293043:
authorHans Wennborg <hans@hanshq.net>
Fri, 3 Feb 2017 21:45:29 +0000 (21:45 +0000)
committerHans Wennborg <hans@hanshq.net>
Fri, 3 Feb 2017 21:45:29 +0000 (21:45 +0000)
commitc1eda1f00cb561893791762a7e2969afc6dfb149
tree0cbc9e1475bc17ad9e5d694ce1602634b4eeede3
parenta6a1d3f3aa6c1d0018d84c3d6c26a552075982ab
Merging r293043:
------------------------------------------------------------------------
r293043 | dergachev | 2017-01-25 02:21:45 -0800 (Wed, 25 Jan 2017) | 12 lines

[analyzer] Fix MacOSXAPIChecker fp with static locals seen from nested blocks.

This is an attempt to avoid new false positives caused by the reverted r292800,
however the scope of the fix is significantly reduced - some variables are still
in incorrect memory spaces.

Relevant test cases added.

rdar://problem/30105546
rdar://problem/30156693
Differential revision: https://reviews.llvm.org/D28946

------------------------------------------------------------------------

git-svn-id: https://llvm.org/svn/llvm-project/cfe/branches/release_40@294050 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/MacOSXAPIChecker.cpp
lib/StaticAnalyzer/Core/MemRegion.cpp
lib/StaticAnalyzer/Core/RegionStore.cpp
test/Analysis/dispatch-once.m
test/Analysis/null-deref-static.m [new file with mode: 0644]