[analyzer] Teach the analyzer about implicit initialization of statics
authorAnna Zaks <ganna@apple.com>
Mon, 17 Sep 2012 19:13:56 +0000 (19:13 +0000)
committerAnna Zaks <ganna@apple.com>
Mon, 17 Sep 2012 19:13:56 +0000 (19:13 +0000)
commit42782343606a4c50fb5f237bbda37823b67e845b
tree8c674eafdda407b09d67e0893b3ada974057113f
parent4f0e00a5b8c2f2c9792cea1d7e8a4b5bcc1cc237
[analyzer] Teach the analyzer about implicit initialization of statics
in ObjCMethods.

Extend FunctionTextRegion to represent ObjC methods as well as
functions. Note, it is not clear what type ObjCMethod region should
return. Since the type of the FunctionText region is not currently used,
defer solving this issue.

llvm-svn: 164046
clang/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h
clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
clang/lib/StaticAnalyzer/Core/MemRegion.cpp
clang/lib/StaticAnalyzer/Core/SVals.cpp
clang/test/Analysis/static_local.m [new file with mode: 0644]