aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/OSAtomicChecker.cpp
AgeCommit message (Expand)Author
2010-02-25Remove stray #include.Ted Kremenek
2010-02-08Revert 95541.Ted Kremenek
2010-02-08Rename: GRState::getSVal(Stmt*) => getExprVal(),Zhongxing Xu
2010-02-04Cast evaluation no longer touch GRState.Zhongxing Xu
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek