summaryrefslogtreecommitdiffstats
path: root/test/Analysis/array-struct-region.c
Commit message (Expand)AuthorAgeFilesLines
* 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
* [analyzer] Tighten up safety in the use of lazy bindings.Jordan Rose2013-02-211-0/+7
* [analyzer] Reuse a LazyCompoundVal if its type matches the new region.Jordan Rose2013-02-011-0/+44
* [analyzer] Fix a bug in region store that lead to undefined value falseAnna Zaks2013-01-311-1/+13
* [analyzer] When invalidating symbolic offset regions, take fields into account.Jordan Rose2012-11-101-0/+107
* Fix analyzer tests.Ted Kremenek2012-08-241-1/+1
* Remove BasicConstraintManager. It hasn't been in active service for a while.Ted Kremenek2012-08-221-1/+0
* [analyzer] -analyzer-ipa=inlining is now the default. Remove it from tests.Jordan Rose2012-08-211-2/+2
* [analyzer] Revamp RegionStore to distinguish regions with symbolic offsets.Jordan Rose2012-08-081-0/+92
* [analyzer] Fix mis-committed test. No functionality change.Jordan Rose2012-07-061-2/+2
* [analyzer] Be careful about LazyCompoundVals, which may be for the first field.Jordan Rose2012-07-061-2/+37
* [analyzer] Convert many existing tests to use clang_analyzer_eval.Jordy Rose2012-05-161-19/+18
* Improve some of the conversion warnings to fire on conversion to bool.David Blaikie2012-05-151-2/+2
* [analyzer] Test case: p->x is the same as p[0].x. (PR7297)Jordy Rose2012-05-121-0/+13
* Enable warn_impcast_literal_float_to_integer by default.David Blaikie2012-04-051-2/+2
* [analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek2011-08-031-2/+2
* Rework checker "packages" and groups to be more hierarchical.Ted Kremenek2011-03-241-2/+2
* [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis2011-02-281-2/+2
* [analyzer] Remove '-analyzer-experimental-checks' flag.Argyrios Kyrtzidis2011-02-281-2/+2
* [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis2011-02-241-2/+2
* [analyzer] Use the new registration mechanism on some of the experimental che...Argyrios Kyrtzidis2011-02-151-2/+2
* Handle nested compound values in BindArray for multidimensional arrays. Fixes...Jordy Rose2010-08-201-0/+22
* Move new test (that requires RegionStore) into its own file.Jordy Rose2010-07-291-0/+25