]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3ef95a5) | patch
Refactor logic in ExprEngine for detecting 'noreturn' methods
authorTed Kremenek <kremenek@apple.com>
Thu, 13 Sep 2012 00:21:31 +0000 (00:21 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 13 Sep 2012 00:21:31 +0000 (00:21 +0000)
commit4ef19205b6912316296db74a9073ad6fa60e4cca
tree79d1b15d420b85d2cc45712110481b01f9d66c0btree | snapshot
parent3ef95a55769278858ad586bd2b592fd50288a1accommit | diff
Refactor logic in ExprEngine for detecting 'noreturn' methods
in NSException to a helper object in libAnalysis that can also
be used by Sema.  Not sure if the predicate name 'isImplicitNoReturn'
is the best one, but we can massage that later.

No functionality change.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163759 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/DomainSpecific/ObjCNoReturn.h [new file with mode: 0644] blob
include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h diff | blob | history
lib/Analysis/CMakeLists.txt diff | blob | history
lib/Analysis/ObjCNoReturn.cpp [new file with mode: 0644] blob
lib/StaticAnalyzer/Core/ExprEngine.cpp diff | blob | history
lib/StaticAnalyzer/Core/ExprEngineObjC.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.