aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/AttrNonNullChecker.cpp
AgeCommit message (Expand)Author
2010-06-21If a nonnull argument evaluates to UnknownVal, don't warn (and don't crash).Jordy Rose
2010-06-16Register CallAndMessageChecker before AttrNonNullChecker. Then we can assumeZhongxing Xu
2010-03-27Checker: random include cleanup.Benjamin Kramer
2010-02-08Revert 95541.Ted Kremenek
2010-02-08Rename: GRState::getSVal(Stmt*) => getExprVal(),Zhongxing Xu
2010-01-25Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugRe...Ted Kremenek
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek