summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/misc-ps-eager-assume.m
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by defaultGeorge Karpenkov2018-08-291-4/+4
* Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-031-1/+1
* Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-1/+1
* Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-1/+1
* Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-1/+1
* Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-1/+1
* Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen2017-02-281-1/+1
* Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-281-1/+1
* Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-271-1/+1
* [analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen2017-02-271-1/+1
* [analyzer] Drop explicit mention of range constraint solverDominic Chen2016-12-011-1/+1
* Prior to adding the new "expected-no-diagnostics" directive to VerifyDiagnost...Andy Gibbs2012-10-191-0/+1
* Fix analyzer tests.Ted Kremenek2012-08-241-1/+1
* [analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek2011-08-031-1/+1
* Eliminate the -f[no]objc-infer-related-result-type flags; there's noDouglas Gregor2011-06-131-0/+1
* fix a bunch of comment typos found by codespell. Patch byChris Lattner2011-04-151-1/+1
* [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis2011-02-281-1/+1
* [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis2011-02-241-1/+1
* Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.Ted Kremenek2010-02-051-1/+1
* Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.Daniel Dunbar2009-12-151-1/+1
* Replace clang-cc with clang -cc1.Zhongxing Xu2009-12-141-1/+1
* Add notes to a test case.Zhongxing Xu2009-12-091-0/+3
* Fix a horrid bug in GRExprEngine::CheckerVisit() that was identifiedTed Kremenek2009-12-091-0/+20
* Normalize options to use '-FOO' instead of '--FOO'.Daniel Dunbar2009-11-291-1/+1
* Add clang-cc option "--analyzer-experimental-internal-checks". ThisTed Kremenek2009-11-131-1/+1
* Add test case for <rdar://problem/7342806>.Ted Kremenek2009-10-291-0/+43
* Rename clang to clang-cc.Daniel Dunbar2009-03-241-1/+1
* Fix PR 3836 by eagerly assuming symbolic constraints returned by unary '!'.Ted Kremenek2009-03-181-0/+16
* Add a hack in the analyzer to recover some path-sensitivity at branchTed Kremenek2009-03-131-0/+49
* Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handleTed Kremenek2009-02-251-0/+14
OpenPOWER on IntegriCloud