Changes in NewDelete-custom.cpp

32c0c853 - [analyzer] pr39348: MallocChecker: Realize that sized delete isn't custom delete.

Thu, 01 Nov 2018 00:43:35 +0000

[analyzer] pr39348: MallocChecker: Realize that sized delete isn't custom delete.MallocChecker no longer thinks that operator delete() that accepts the size ofthe object to delete (available since C++14 or under -fsized-deallocation)is some weird user-defined operator. Instead, it handles it like normal delete.Additionally, it exposes a regression in NewDelete-intersections.mm'stestStandardPlacementNewAfterDelete() test, where the diagnostic is delayedfrom before the call of placement new into the code of placement newin the header. This happens because the check for pass-into-function-after-freefor placement arguments is located in checkNewAllocator(), which happens afterthe allocator is inlined, which is too late. Move this use-after-free checkinto checkPreCall instead, where it works automagically because the guardthat prevents it from working is useless and can be removed as well.This commit causes regressions under -analyzer-configc++-allocator-inlining=false but this option is essentially unsupportedbecause the respective feature has been enabled by default quite a while ago.Differential Revision: https://reviews.llvm.org/D53543llvm-svn: 345802 List of files: /llvm-project-15.0.7/clang/test/Analysis/NewDelete-custom.cpp

a396df34 - [analyzer] Enable c++-allocator-inlining by default.

Wed, 24 Jan 2018 20:59:40 +0000

[analyzer] Enable c++-allocator-inlining by default.This allows the analyzer to analyze ("inline") custom operator new() calls and,even more importantly, inline constructors of objects that were allocatedby any operator new() - not necessarily a custom one.All changes in the tests in the current commit are intended improvements,even if they didn't carry any explicit FIXME flag.It is possible to restore the old behavior via -analyzer-config c++-allocator-inlining=false(this flag is supported by scan-build as well, and it can be into a clang--analyze invocation via -Xclang .. -Xclang ..). There is no intention toremove the old behavior for now.Differential Revision: https://reviews.llvm.org/D42219rdar://problem/12180598llvm-svn: 323373 List of files: /llvm-project-15.0.7/clang/test/Analysis/NewDelete-custom.cpp

868e9a11 - [analyzer] NFC: operator new: Fix new(nothrow) definition in tests.

Thu, 18 Jan 2018 00:03:43 +0000

[analyzer] NFC: operator new: Fix new(nothrow) definition in tests.Fix the const qualifier so that the operator defined in the tests indeed doesoverride the default global nothrow version of new.Differential Revision: https://reviews.llvm.org/D41408llvm-svn: 322790 List of files: /llvm-project-15.0.7/clang/test/Analysis/NewDelete-custom.cpp

13b2026b - [analyzer] operator new: Add a new checker callback, check::NewAllocator.

Wed, 17 Jan 2018 23:46:13 +0000

[analyzer] operator new: Add a new checker callback, check::NewAllocator.The callback runs after operator new() and before the construction and allowsthe checker to access the casted return value of operator new() (in thesense of r322780) which is not available in the PostCall callback for theallocator call.Update MallocChecker to use the new callback instead of PostStmt,which gets called after the constructor.Differential Revision: https://reviews.llvm.org/D41406rdar://problem/12180598llvm-svn: 322787 List of files: /llvm-project-15.0.7/clang/test/Analysis/NewDelete-custom.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/NewDelete-custom.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/NewDelete-custom.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/NewDelete-custom.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/NewDelete-custom.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/NewDelete-custom.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/NewDelete-custom.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/NewDelete-custom.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/NewDelete-custom.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/NewDelete-custom.cpp

6ca45c92 - [analyzer] Move the NewDeleteLeaks checker from CplusplusAlpha to Cplusplus package.

Tue, 21 Oct 2014 12:41:36 +0000

[analyzer] Move the NewDeleteLeaks checker from CplusplusAlpha to Cplusplus package.llvm-svn: 220289 List of files: /llvm-project-15.0.7/clang/test/Analysis/NewDelete-custom.cpp

a1de8567 - [analyzer] Shorten the malloc checker’s leak message

Sat, 06 Apr 2013 00:41:36 +0000

[analyzer] Shorten the malloc checker’s leak messageAs per Ted’s suggestion!llvm-svn: 178938 List of files: /llvm-project-15.0.7/clang/test/Analysis/NewDelete-custom.cpp

10ad081f - [analyzer] Re-enable cplusplus.NewDelete (but not NewDeleteLeaks).

Fri, 05 Apr 2013 17:55:07 +0000

[analyzer] Re-enable cplusplus.NewDelete (but not NewDeleteLeaks).As mentioned in the previous commit message, the use-after-free anddouble-free warnings for 'delete' are worth enabling even while theleak warnings still have false positives.llvm-svn: 178891 List of files: /llvm-project-15.0.7/clang/test/Analysis/NewDelete-custom.cpp

26330563 - [analyzer] Split new/delete checker into use-after-free and leaks parts.

Fri, 05 Apr 2013 17:55:00 +0000

[analyzer] Split new/delete checker into use-after-free and leaks parts.This splits the leak-checking part of alpha.cplusplus.NewDelete into aseparate user-level checker, alpha.cplusplus.NewDeleteLeaks. All thedifficult false positives we've seen with the new/delete checker have beenspurious leak warnings; the use-after-free warnings and mismatcheddeallocator warnings, while rare, have always been valid.llvm-svn: 178890 List of files: /llvm-project-15.0.7/clang/test/Analysis/NewDelete-custom.cpp

01acbceb - [analyzer] Moving cplusplus.NewDelete to alpha.* for now.

Tue, 02 Apr 2013 05:59:24 +0000

[analyzer] Moving cplusplus.NewDelete to alpha.* for now.llvm-svn: 178529 List of files: /llvm-project-15.0.7/clang/test/Analysis/NewDelete-custom.cpp

3dfc33e3 - [analyzer] Enabled unix.Malloc checker.

Sat, 30 Mar 2013 00:50:37 +0000

[analyzer] Enabled unix.Malloc checker.+ Refactoring.llvm-svn: 178388 List of files: /llvm-project-15.0.7/clang/test/Analysis/NewDelete-custom.cpp

8b662704 - [analyzer] For now assume all standard global 'operator new' functions allocate memory in heap.

Thu, 28 Mar 2013 16:10:38 +0000

[analyzer] For now assume all standard global 'operator new' functions allocate memory in heap.+ Improved test coverage for cplusplus.NewDelete checker.llvm-svn: 178244 List of files: /llvm-project-15.0.7/clang/test/Analysis/NewDelete-custom.cpp