summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/func.c
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by defaultGeorge Karpenkov2018-08-291-1/+1
* 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] Add new debug helper clang_analyzer_warnIfReached.Jordan Rose2013-10-031-2/+3
* [analyzer] Add missing return after function pointer null check.Jordan Rose2013-10-021-0/+13
* Fix analyzer tests.Ted Kremenek2012-08-241-1/+1
* [analyzer] If we call a C++ method on an object, assume it's non-null.Jordan Rose2012-08-151-1/+13
* [analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek2011-08-031-1/+1
* Really remove FlatStoreManager and BasicStoreManager, this time from the driv...Ted Kremenek2011-07-281-1/+0
* [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis2011-02-281-2/+2
* [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis2011-02-241-2/+2
* Adjusted the semantics of assign checking in IdempotentOperationCheckerTom Care2010-08-301-1/+1
* Enabled relaxed LiveVariables analysis in the path-sensitive engine to increa...Tom Care2010-08-271-1/+1
* Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.Ted Kremenek2010-02-051-2/+2
* Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.Daniel Dunbar2009-12-151-2/+2
* Replace clang-cc with clang -cc1.Zhongxing Xu2009-12-141-2/+2
* Add clang-cc option "--analyzer-experimental-internal-checks". ThisTed Kremenek2009-11-131-2/+2
* Eliminate &&s in tests.Daniel Dunbar2009-11-081-1/+1
* Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek2009-07-291-1/+0
* Switch BasicStoreManager to use the new CastRegion implementation by default,Ted Kremenek2009-07-101-1/+1
* Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line usi...Ted Kremenek2009-07-061-0/+1
* Introduce a new concept to the static analyzer: SValuator.Ted Kremenek2009-06-261-2/+0
* Do not invalidate unboundable regions in GRSimpleVals::EvalCall().Zhongxing Xu2009-06-161-0/+1
* Rename clang to clang-cc.Daniel Dunbar2009-03-241-3/+3
* Static Analyzer driver/options (partial) cleanup:Ted Kremenek2009-02-171-2/+2
* This test case now passes with RegionStore.Ted Kremenek2009-01-221-1/+3
* Add -analyze action to run static analyzer, instead of inferring fromDaniel Dunbar2009-01-201-1/+1
* Add test for SCA region store.Zhongxing Xu2008-10-271-0/+6
* Add test case for FuncDecl and function pointer variable.Zhongxing Xu2008-10-221-0/+9
OpenPOWER on IntegriCloud