Changes in array-struct-region.c

0dd49a56 - Use functions with prototypes when appropriate; NFC

Sat, 12 Feb 2022 12:23:43 +0000

Use functions with prototypes when appropriate; NFCA significant number of our tests in C accidentally use functionswithout prototypes. This patch converts the function signatures to havea prototype for the situations where the test is not specific to K&R Cdeclarations. e.g., void func();becomes void func(void);This is the eighth batch of tests being updated (there are asignificant number of other tests left to be updated). List of files: /llvm-project-15.0.7/clang/test/Analysis/array-struct-region.c

a393e68b - [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default

Wed, 29 Aug 2018 20:29:17 +0000

[analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by defaultDifferential Revision: https://reviews.llvm.org/D51251llvm-svn: 340963 List of files: /llvm-project-15.0.7/clang/test/Analysis/array-struct-region.c

184c6242 - Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers

Fri, 03 Mar 2017 18:02:02 +0000

Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managersSummary: Replace calls to %clang/%clang_cc1 with %clang_analyze_cc1 when invoking static analyzer, and perform runtime substitution to select the appropriate constraint manager, per D28952.Reviewers: xazax.hun, NoQ, zaks.anna, dcoughlinSubscribers: mgorny, rgov, mikhail.ramalho, a.sidorin, cfe-commitsDifferential Revision: https://reviews.llvm.org/D30373llvm-svn: 296895 List of files: /llvm-project-15.0.7/clang/test/Analysis/array-struct-region.c

09d66f75 - Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multiple constraint managers"

Thu, 02 Mar 2017 23:30:53 +0000

Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multiple constraint managers"This reverts commit ea36f1406e1f36bf456c3f3929839b024128e468.llvm-svn: 296841 List of files: /llvm-project-15.0.7/clang/test/Analysis/array-struct-region.c

feaf9ff5 - Reland 3: [analyzer] NFC: Update test infrastructure to support multiple constraint managers

Thu, 02 Mar 2017 23:05:45 +0000

Reland 3: [analyzer] NFC: Update test infrastructure to support multiple constraint managersSummary: Replace calls to %clang/%clang_cc1 with %clang_analyze_cc1 when invoking static analyzer, and perform runtime substitution to select the appropriate constraint manager, per D28952.Reviewers: xazax.hun, NoQ, zaks.anna, dcoughlinSubscribers: mgorny, rgov, mikhail.ramalho, a.sidorin, cfe-commitsDifferential Revision: https://reviews.llvm.org/D30373llvm-svn: 296837 List of files: /llvm-project-15.0.7/clang/test/Analysis/array-struct-region.c

4a90bf8c - Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multiple constraint managers"

Thu, 02 Mar 2017 22:58:06 +0000

Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multiple constraint managers"This reverts commit f93343c099fff646a2314cc7f4925833708298b1.llvm-svn: 296836 List of files: /llvm-project-15.0.7/clang/test/Analysis/array-struct-region.c

1cb0256a - Reland 2: [analyzer] NFC: Update test infrastructure to support multiple constraint managers

Thu, 02 Mar 2017 22:45:24 +0000

Reland 2: [analyzer] NFC: Update test infrastructure to support multiple constraint managersSummary: Replace calls to %clang/%clang_cc1 with %clang_analyze_cc1 when invoking static analyzer, and perform runtime substitution to select the appropriate constraint manager, per D28952.Reviewers: xazax.hun, NoQ, zaks.anna, dcoughlinSubscribers: mgorny, rgov, mikhail.ramalho, a.sidorin, cfe-commitsDifferential Revision: https://reviews.llvm.org/D30373llvm-svn: 296835 List of files: /llvm-project-15.0.7/clang/test/Analysis/array-struct-region.c

00355a51 - Revert "Reland: [analyzer] NFC: Update test infrastructure to support multiple constraint managers"

Tue, 28 Feb 2017 01:50:23 +0000

Revert "Reland: [analyzer] NFC: Update test infrastructure to support multiple constraint managers"This reverts commit 1b28d0b10e1c8feccb971abb6ef7a18bee589830.llvm-svn: 296422 List of files: /llvm-project-15.0.7/clang/test/Analysis/array-struct-region.c

59cd8933 - Reland: [analyzer] NFC: Update test infrastructure to support multiple constraint managers

Tue, 28 Feb 2017 00:02:36 +0000

Reland: [analyzer] NFC: Update test infrastructure to support multiple constraint managersSummary: Replace calls to %clang/%clang_cc1 with %clang_analyze_cc1 when invoking static analyzer, and perform runtime substitution to select the appropriate constraint manager, per D28952.Reviewers: xazax.hun, NoQ, zaks.anna, dcoughlinSubscribers: mgorny, rgov, mikhail.ramalho, a.sidorin, cfe-commitsDifferential Revision: https://reviews.llvm.org/D30373llvm-svn: 296414 List of files: /llvm-project-15.0.7/clang/test/Analysis/array-struct-region.c

8589e10c - Revert "[analyzer] NFC: Update test infrastructure to support multiple constraint managers"

Mon, 27 Feb 2017 03:29:25 +0000

Revert "[analyzer] NFC: Update test infrastructure to support multiple constraint managers"This reverts commit 8e7780b9e59ddaad1800baf533058d2c064d4787.llvm-svn: 296317 List of files: /llvm-project-15.0.7/clang/test/Analysis/array-struct-region.c

02064a30 - [analyzer] NFC: Update test infrastructure to support multiple constraint managers

Mon, 27 Feb 2017 02:36:15 +0000

[analyzer] NFC: Update test infrastructure to support multiple constraint managersSummary: Replace calls to %clang/%clang_cc1 with %clang_analyze_cc1 when invoking static analyzer, and perform runtime substitution to select the appropriate constraint manager, per D28952.Reviewers: xazax.hun, NoQ, zaks.anna, dcoughlinSubscribers: mgorny, rgov, mikhail.ramalho, a.sidorin, cfe-commitsDifferential Revision: https://reviews.llvm.org/D30373llvm-svn: 296312 List of files: /llvm-project-15.0.7/clang/test/Analysis/array-struct-region.c

1a154e08 - [analyzer] Drop explicit mention of range constraint solver

Thu, 01 Dec 2016 17:06:39 +0000

[analyzer] Drop explicit mention of range constraint solverSummary: The basic constraint solver was dropped in rL162384, leaving the range constraint solver as the default and only constraint solver. Explicitly specifying it is unnecessary, and makes it difficult to test with other solver backends.Reviewers: zaks.anna, dcoughlinSubscribers: cfe-commitsDifferential Revision: https://reviews.llvm.org/D26694llvm-svn: 288372 List of files: /llvm-project-15.0.7/clang/test/Analysis/array-struct-region.c

d1c7cf26 - [analyzer] Tighten up safety in the use of lazy bindings.

Thu, 21 Feb 2013 01:34:51 +0000

[analyzer] Tighten up safety in the use of lazy bindings.- When deciding if we can reuse a lazy binding, make sure to check if there are additional bindings in the sub-region.- When reading from a lazy binding, don't accidentally strip off casts or base object regions. This slows down lazy binding reading a bit but is necessary for type sanity when treating one class as another.A bit of minor refactoring allowed these two checks to be unified in a niceearly-return-using helper function.llvm-svn: 175703 List of files: /llvm-project-15.0.7/clang/test/Analysis/array-struct-region.c

49d5f882 - [analyzer] Reuse a LazyCompoundVal if its type matches the new region.

Fri, 01 Feb 2013 19:49:57 +0000

[analyzer] Reuse a LazyCompoundVal if its type matches the new region.This allows us to keep from chaining LazyCompoundVals in cases like this: CGRect r = CGRectMake(0, 0, 640, 480); CGRect r2 = r; CGRect r3 = r2;Previously we only made this optimization if the struct did not begin withan aggregate member, to make sure that we weren't picking up an LCV forthe first field of the struct. But since LazyCompoundVals are typed, we canmake that inference directly by comparing types.This is a pure optimization; the test changes are to guard against possiblefuture regressions.llvm-svn: 174211 List of files: /llvm-project-15.0.7/clang/test/Analysis/array-struct-region.c

3a862671 - [analyzer] Fix a bug in region store that lead to undefined value false

Thu, 31 Jan 2013 01:19:52 +0000

[analyzer] Fix a bug in region store that lead to undefined value falsepositives.The includeSuffix was only set on the first iteration through thefunction, resulting in invalid regions being produced by getLazyBinding(ex: zoomRegion.y).llvm-svn: 174016 List of files: /llvm-project-15.0.7/clang/test/Analysis/array-struct-region.c

9eb409ac - [analyzer] When invalidating symbolic offset regions, take fields into account.

Sat, 10 Nov 2012 01:40:08 +0000

[analyzer] When invalidating symbolic offset regions, take fields into account.Previously, RegionStore was being VERY conservative in saying that becausep[i].x and p[i].y have a concrete base region of 'p', they might overlap.Now, we check the chain of fields back up to the base object and check ifthey match.This only kicks in when dealing with symbolic offset regions becauseRegionStore's "base+offset" representation of concrete offset regions losesall information about fields. In cases where all offsets are concrete(s.x and s.y), RegionStore will already do the right thing, but mixingconcrete and symbolic offsets can cause bindings to be invalidated thatare known to not overlap (e.g. p[0].x and p[i].y).This additional refinement is tracked by .llvm-svn: 167654 List of files: /llvm-project-15.0.7/clang/test/Analysis/array-struct-region.c

722398f1 - Fix analyzer tests.

Fri, 24 Aug 2012 20:39:55 +0000

Fix analyzer tests.llvm-svn: 162588 List of files: /llvm-project-15.0.7/clang/test/Analysis/array-struct-region.c

a056d629 - Remove BasicConstraintManager. It hasn't been in active service for a while.

Wed, 22 Aug 2012 19:47:13 +0000

Remove BasicConstraintManager. It hasn't been in active service for a while.As part of this change, I discovered that a few of our tests were not testingthe RangeConstraintManager. Luckily all of those passed when I moved themover to use that constraint manager.llvm-svn: 162384 List of files: /llvm-project-15.0.7/clang/test/Analysis/array-struct-region.c

4d9fbd7e - [analyzer] -analyzer-ipa=inlining is now the default. Remove it from tests.

Tue, 21 Aug 2012 21:44:07 +0000

[analyzer] -analyzer-ipa=inlining is now the default. Remove it from tests.The actual change here is a little more complicated than the summary above.What we want to do is have our generic inlining tests run under whatevermode is the default. However, there are some tests that depend on thepresence of C++ inlining, which still has some rough edges. These tests havebeen explicitly marked as -analyzer-ipa=inlining in preparation for a newmode that limits inlining to C functions and blocks. This will be thedefault until the false positives for C++ have been brought down tomanageable levels.llvm-svn: 162317 List of files: /llvm-project-15.0.7/clang/test/Analysis/array-struct-region.c

3a80cec5 - [analyzer] Revamp RegionStore to distinguish regions with symbolic offsets.

Wed, 08 Aug 2012 18:23:27 +0000

[analyzer] Revamp RegionStore to distinguish regions with symbolic offsets.RegionStore currently uses a (Region, Offset) pair to describe the locationsof memory bindings. However, this representation breaks down when we haveregions like 'array[index]', where 'index' is unknown. We used to store thisas (SubRegion, 0); now we mark them specially as (SubRegion, SYMBOLIC).Furthermore, ProgramState::scanReachableSymbols depended on the existence ofa sub-region map, but RegionStore's implementation doesn't provide for sucha thing. Moving the store-traversing logic of scanReachableSymbols into theStoreManager allows us to eliminate the notion of SubRegionMap altogether.This fixes some particularly awkward broken test cases, now inarray-struct-region.c.llvm-svn: 161510 List of files: /llvm-project-15.0.7/clang/test/Analysis/array-struct-region.c