aboutsummaryrefslogtreecommitdiff
path: root/clang/test/Analysis/array-struct-region.c
AgeCommit message (Expand)AuthorFilesLines
2017-03-03Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen1-1/+1
2017-03-02Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen1-1/+1
2017-03-02Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen1-1/+1
2017-03-02Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen1-1/+1
2017-03-02Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen1-1/+1
2017-02-28Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen1-1/+1
2017-02-28Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen1-1/+1
2017-02-27Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen1-1/+1
2017-02-27[analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen1-1/+1
2016-12-01[analyzer] Drop explicit mention of range constraint solverDominic Chen1-1/+1
2013-02-21[analyzer] Tighten up safety in the use of lazy bindings.Jordan Rose1-0/+7
2013-02-01[analyzer] Reuse a LazyCompoundVal if its type matches the new region.Jordan Rose1-0/+44
2013-01-31[analyzer] Fix a bug in region store that lead to undefined value falseAnna Zaks1-1/+13
2012-11-10[analyzer] When invalidating symbolic offset regions, take fields into account.Jordan Rose1-0/+107
2012-08-24Fix analyzer tests.Ted Kremenek1-1/+1
2012-08-22Remove BasicConstraintManager. It hasn't been in active service for a while.Ted Kremenek1-1/+0
2012-08-21[analyzer] -analyzer-ipa=inlining is now the default. Remove it from tests.Jordan Rose1-2/+2
2012-08-08[analyzer] Revamp RegionStore to distinguish regions with symbolic offsets.Jordan Rose1-0/+92
2012-07-06[analyzer] Fix mis-committed test. No functionality change.Jordan Rose1-2/+2
2012-07-06[analyzer] Be careful about LazyCompoundVals, which may be for the first field.Jordan Rose1-2/+37
2012-05-16[analyzer] Convert many existing tests to use clang_analyzer_eval.Jordy Rose1-19/+18
2012-05-15Improve some of the conversion warnings to fire on conversion to bool.David Blaikie1-2/+2
2012-05-12[analyzer] Test case: p->x is the same as p[0].x. (PR7297)Jordy Rose1-0/+13
2012-04-05Enable warn_impcast_literal_float_to_integer by default.David Blaikie1-2/+2
2011-08-03[analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek1-2/+2
2011-03-24Rework checker "packages" and groups to be more hierarchical.Ted Kremenek1-2/+2
2011-02-28[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis1-2/+2
2011-02-28[analyzer] Remove '-analyzer-experimental-checks' flag.Argyrios Kyrtzidis1-2/+2
2011-02-24[analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis1-2/+2
2011-02-15[analyzer] Use the new registration mechanism on some of the experimental che...Argyrios Kyrtzidis1-2/+2
2010-08-20Handle nested compound values in BindArray for multidimensional arrays. Fixes...Jordy Rose1-0/+22
2010-07-29Move new test (that requires RegionStore) into its own file.Jordy Rose1-0/+25