Changes in containers.cpp

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/inlining/containers.cpp

d3c54313 - [analyzer] NFC: Run many existing C++ tests with a custom operator new().

Wed, 24 Jan 2018 21:24:10 +0000

[analyzer] NFC: Run many existing C++ tests with a custom operator new().In order to provide more test coverage for inlined operator new(), add morerun-lines to existing test cases, which would trigger our fake headerto provide a body for operator new(). Most of the code should still behavereasonably. When behavior intentionally changes, #ifs are provided.Differential Revision: https://reviews.llvm.org/D42221llvm-svn: 323376 List of files: /llvm-project-15.0.7/clang/test/Analysis/inlining/containers.cpp

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/inlining/containers.cpp

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/inlining/containers.cpp

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/inlining/containers.cpp

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/inlining/containers.cpp

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/inlining/containers.cpp

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/inlining/containers.cpp

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/inlining/containers.cpp

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/inlining/containers.cpp

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/inlining/containers.cpp

b8de0c42 - Do not inline methods of C++ containers (coming from headers).

Fri, 27 Jun 2014 01:03:05 +0000

Do not inline methods of C++ containers (coming from headers).This silences false positives (leaks, use of uninitialized value) in simplecode that uses containers such as std::vector and std::list. The analyzercannot reason about the internal invariances of those data structures whichleads to false positives. Until we come up with a better solution to thatproblem, let's just not inline the methods of the containers and allow objectsto escape whenever such methods are called.This just extends an already existing flag "c++-container-inlining" and appliesthe heuristic not only to constructors and destructors of the containers, butto all of their methods.We have a bunch of distinct user reports all related to this issue(radar://16058651, radar://16580751, radar://16384286, radar://16795491[PR19637]).llvm-svn: 211832 List of files: /llvm-project-15.0.7/clang/test/Analysis/inlining/containers.cpp

7023a903 - [analyzer] Don't inline the [cd]tors of C++ iterators.

Wed, 01 May 2013 22:39:31 +0000

[analyzer] Don't inline the [cd]tors of C++ iterators.This goes with r178516, which instructed the analyzer not to inline theconstructors and destructors of C++ container classes. This goes a stepfurther and does the same thing for iterators, so that the analyzer won'tfalsely decide we're trying to construct an iterator pointing to anonexistent element.The heuristic for determining whether something is an iterator is thepresence of an 'iterator_category' member. This is controlled under thesame -analyzer-config option as container constructor/destructor inlining:'c++-container-inlining'.llvm-svn: 180890 List of files: /llvm-project-15.0.7/clang/test/Analysis/inlining/containers.cpp

e189b869 - [analyzer] For now, don't inline [cd]tors of C++ containers.

Tue, 02 Apr 2013 00:26:35 +0000

[analyzer] For now, don't inline [cd]tors of C++ containers.This is a heuristic to make up for the fact that the analyzer doesn'tmodel C++ containers very well. One example is modeling that'std::distance(I, E) == 0' implies 'I == E'. In the future, it would benice to model this explicitly, but for now it just results in a lot offalse positives.The actual heuristic checks if the base type has a member named 'begin' or'iterator'. If so, we treat the constructors and destructors of that typeas opaque, rather than inlining them.This is intended to drastically reduce the number of false positivesreported with experimental destructor support turned on. We can tweak theheuristic in the future, but we'd rather err on the side of false negativesfor now.llvm-svn: 178516 List of files: /llvm-project-15.0.7/clang/test/Analysis/inlining/containers.cpp