llvm-project/clang/lib/Analysis
Ted Kremenek 64fea5fc8f Teach CFG that 'if (x & 0)' and 'if (x * 0)' is an unfeasible branch.
Fixes <rdar://problem/11005770>.

llvm-svn: 162545
2012-08-24 07:42:09 +00:00
..
AnalysisDeclContext.cpp [analyzer] Don't crash on implicit statements inside initializers. 2012-07-26 20:04:30 +00:00
CFG.cpp Teach CFG that 'if (x & 0)' and 'if (x * 0)' is an unfeasible branch. 2012-08-24 07:42:09 +00:00
CFGReachabilityAnalysis.cpp remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports 2011-07-23 10:55:15 +00:00
CFGStmtMap.cpp Constify the result of CFGStmt::getStmt(). 2011-08-23 23:05:04 +00:00
CMakeLists.txt clang/lib: [CMake] Update tblgen'd dependencies. 2012-07-27 06:18:33 +00:00
CallGraph.cpp Remove unused private member variables found by clang's new -Wunused-private-field. 2012-06-06 17:32:50 +00:00
CocoaConventions.cpp Add missing cctype includes. 2012-08-10 10:58:18 +00:00
Dominators.cpp Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch 2011-12-20 02:48:34 +00:00
FormatString.cpp Remove ScanfArgType and bake that logic into ArgType. 2012-08-07 08:59:46 +00:00
FormatStringParsing.h Support the 'a' length modifier in scanf format strings as a C90 2011-12-15 10:25:47 +00:00
LiveVariables.cpp [analyzer] Teach live variable analyzes that super uses self pointer. 2012-08-14 00:36:20 +00:00
Makefile BUILD_ARCHIVE is the default for libraries, no need to set it. 2010-07-18 00:14:47 +00:00
PostOrderCFGView.cpp Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch 2011-12-20 02:48:34 +00:00
PrintfFormatString.cpp Properly check length modfiers for %n in format strings. 2012-08-07 09:13:19 +00:00
ProgramPoint.cpp [analyzer] Run remove dead bindings right before leaving a function. 2012-04-20 21:59:08 +00:00
PseudoConstantAnalysis.cpp Drop the ASTContext.h include from Stmt.h and fix up transitive users. 2012-07-04 17:04:04 +00:00
ReachableCode.cpp Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch 2011-12-20 02:48:34 +00:00
ScanfFormatString.cpp Properly check length modfiers for %n in format strings. 2012-08-07 09:13:19 +00:00
ThreadSafety.cpp Fix an assortment of doxygen comment issues found by -Wdocumentation. 2012-08-22 23:50:41 +00:00
UninitializedValues.cpp Simplify UninitializedValues.cpp by removing logic to handle the previous (imprecise) representation 2012-07-19 04:59:05 +00:00