aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/misc-ps-eager-assume.m
AgeCommit message (Expand)Author
2009-11-13Add clang-cc option "--analyzer-experimental-internal-checks". ThisTed Kremenek
2009-10-29Add test case for <rdar://problem/7342806>.Ted Kremenek
2009-03-24Rename clang to clang-cc.Daniel Dunbar
2009-03-18Fix PR 3836 by eagerly assuming symbolic constraints returned by unary '!'.Ted Kremenek
2009-03-13Add a hack in the analyzer to recover some path-sensitivity at branchTed Kremenek
2009-02-25Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handleTed Kremenek