en Copyright 2015 Java http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp#b5b2aec1 [analyzer] Add UnarySymExprThis patch adds a new descendant to the SymExpr hierarchy. This way, nowwe can assign constraints to symbolic unary expressions. Only the unaryminus and bitwise negation are handled.Differential Revision: https://reviews.llvm.org/D125318 List of files: /llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp Tue, 10 May 2022 15:13:07 +0000 Gabor Marton <gabor.marton@ericsson.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp#aee49255 Recommit: Compress formatting of array type names (int [4] -> int[4])Based on post-commit review discussion on2bd84938470bf2e337801faafb8a67710f46429d with Richard Smith.Other uses of forcing HasEmptyPlaceHolder to false seem OK to me -they're all around pointer/reference types where the pointer/referencetoken will appear at the rightmost side of the left side of the typename, so they make nested types (eg: the "int" in "int *") behave asthough there is a non-empty placeholder (because the "*" is essentiallythe placeholder as far as the "int" is concerned).This was originally committed in 277623f4d5a672d707390e2c3eaf30a9eb4b075cReverted in f9ad1d1c775a8e264bebc15d75e0c6e5c20eefc7 due to breakagesoutside of clang - lldb seems to have some strange/strong dependence on"char [N]" versus "char[N]" when printing strings (not due to that nameappearing in DWARF, but probably due to using clang to stringify typenames) that'll need to be addressed, plus a few other odds and ends inother subprojects (clang-tools-extra, compiler-rt, etc). List of files: /llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp Thu, 14 Oct 2021 21:52:47 +0000 David Blaikie <dblaikie@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp#f9ad1d1c Revert "Compress formatting of array type names (int [4] -> int[4])"Looks like lldb has some issues with this - somehow it causes lldb totreat a "char[N]" type as an array of chars (prints them outindividually) but a "char [N]" is printed as a string. (even though theDWARF doesn't have this string in it - it's something to do with thestring lldb generates for itself using clang)This reverts commit 277623f4d5a672d707390e2c3eaf30a9eb4b075c. List of files: /llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp Thu, 14 Oct 2021 21:48:17 +0000 David Blaikie <dblaikie@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp#277623f4 Compress formatting of array type names (int [4] -> int[4])Based on post-commit review discussion on2bd84938470bf2e337801faafb8a67710f46429d with Richard Smith.Other uses of forcing HasEmptyPlaceHolder to false seem OK to me -they're all around pointer/reference types where the pointer/referencetoken will appear at the rightmost side of the left side of the typename, so they make nested types (eg: the "int" in "int *") behave asthough there is a non-empty placeholder (because the "*" is essentiallythe placeholder as far as the "int" is concerned). List of files: /llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp Thu, 14 Oct 2021 21:07:51 +0000 David Blaikie <dblaikie@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp#df64f471 [analyzer] DynamicSize: Store the dynamic sizeThis patch introduces a way to store the size.Reviewed By: NoQDifferential Revision: https://reviews.llvm.org/D69726 List of files: /llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp Mon, 05 Apr 2021 17:04:30 +0000 Charusso <dabis.csaba98@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp#5419a312 [Analyzer] Allow creation of stack frame for functions without definitionRetrieving the parameter location of functions was disabled because itmay causes crashes due to the fact that functions may have multipledeclarations and without definition it is difficult to ensure thatalways the same declration is used. Now parameters are stored in`ParamRegions` which are independent of the declaration of the function,therefore the same parameters always have the same regions,independently of the function declaration used actually. This allows usto remove the limitation described above.Differential Revision: https://reviews.llvm.org/D80286 List of files: /llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp Mon, 11 May 2020 13:00:42 +0000 Adam Balogh <adam.balogh@ericsson.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp#98db1f99 [Analyzer] [NFC] Parameter RegionsCurrently, parameters of functions without their definition present cannotbe represented as regions because it would be difficult to ensure that thesame declaration is used in every case. To overcome this, we split`VarRegion` to two subclasses: `NonParamVarRegion` and `ParamVarRegion`.The latter does not store the `Decl` of the parameter variable. Instead itstores the index of the parameter which enables retrieving the actual`Decl` every time using the function declaration of the stack frame. Toachieve this we also removed storing of `Decl` from `DeclRegion` and made`getDecl()` pure virtual. The individual `Decl`s are stored in theappropriate subclasses, such as `FieldRegion`, `ObjCIvarRegion` and thenewly introduced `NonParamVarRegion`.Differential Revision: https://reviews.llvm.org/D80522 List of files: /llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp Mon, 11 May 2020 13:00:42 +0000 Adam Balogh <adam.balogh@ericsson.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp#a2b6ece1 [analyzer] Display the checker name in the text outputExactly what it says on the tin! There is no reason I think not to have this.Also, I added test files for checkers that emit warning under the wrong name.Differential Revision: https://reviews.llvm.org/D76605 List of files: /llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp Fri, 20 Mar 2020 15:45:53 +0000 Kirstóf Umann <dkszelethus@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp#b0914e72 [analyzer] Specify the C++ standard in more tests.Makes life easier for downstream developers with different default standard.llvm-svn: 375308 List of files: /llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp Sat, 19 Oct 2019 00:08:17 +0000 Artem Dergachev <artem.dergachev@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp#2bbccca9 [Analyzer] SValBuilder Comparison Rearrangement (with Restrictions and Analyzer Option)Since the range-based constraint manager (default) is weak in handling comparisons where symbols are on both sides it is wise to rearrange them to have symbols only on the left side. Thus e.g. A + n >= B + m becomes A - B >= m - n which enables the constraint manager to store a range m - n .. MAX_VALUE for the symbolic expression A - B. This can be used later to check whether e.g. A + k == B + l can be true, which is also rearranged to A - B == l - k so the constraint manager can check whether l - k is in the range (thus greater than or equal to m - n).The restriction in this version is the the rearrangement happens only if both the symbols and the concrete integers are within the range [min/4 .. max/4] where min and max are the minimal and maximal values of their type.The rearrangement is not enabled by default. It has to be enabled by using -analyzer-config aggressive-relational-comparison-simplification=true.Co-author of this patch is Artem Dergachev (NoQ).Differential Revision: https://reviews.llvm.org/D41938llvm-svn: 329780 List of files: /llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp Wed, 11 Apr 2018 06:21:12 +0000 Adam Balogh <adam.balogh@ericsson.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp#09a7c0c7 [analyzer] Support temporaries conjured by conservatively evaluated functions.Properly perform destruction and lifetime extension of such temporaries.C++ object-type return values of conservatively evaluated functions are nowrepresented as compound values of well-defined temporary object regions. Thefunction creates a region that represents the temporary object and will laterbe used for destruction or materialization, invalidates it, and returns theinvalidated compound value of the object.Differential Revision: https://reviews.llvm.org/D44131llvm-svn: 327348 List of files: /llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp Mon, 12 Mar 2018 23:36:12 +0000 Artem Dergachev <artem.dergachev@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp#c0402c69 Revert "[analyzer] Support generating and reasoning over more symbolic constraint types"Assertion `Loc::isLocType(SSE->getLHS()->getType())' failed in Analysis/PR3991.mThis reverts commit e469ff2759275e67f9072b3d67fac90f647c0fe6.llvm-svn: 307853 List of files: /llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp Wed, 12 Jul 2017 21:43:42 +0000 Dominic Chen <d.c.ddcc@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp#35610d21 [analyzer] Support generating and reasoning over more symbolic constraint typesSummary: Generate more IntSymExpr constraints, perform SVal simplification for IntSymExpr and SymbolCast constraints, and create fully symbolic SymExprsReviewers: zaks.anna, dcoughlin, NoQ, xazax.hunSubscribers: mgorny, cfe-commitsDifferential Revision: https://reviews.llvm.org/D28953llvm-svn: 307833 List of files: /llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp Wed, 12 Jul 2017 19:37:57 +0000 Dominic Chen <d.c.ddcc@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp#184c6242 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/explain-svals.cpp Fri, 03 Mar 2017 18:02:02 +0000 Dominic Chen <d.c.ddcc@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp#09d66f75 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/explain-svals.cpp Thu, 02 Mar 2017 23:30:53 +0000 Dominic Chen <d.c.ddcc@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp#feaf9ff5 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/explain-svals.cpp Thu, 02 Mar 2017 23:05:45 +0000 Dominic Chen <d.c.ddcc@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp#4a90bf8c 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/explain-svals.cpp Thu, 02 Mar 2017 22:58:06 +0000 Dominic Chen <d.c.ddcc@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp#1cb0256a 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/explain-svals.cpp Thu, 02 Mar 2017 22:45:24 +0000 Dominic Chen <d.c.ddcc@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp#00355a51 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/explain-svals.cpp Tue, 28 Feb 2017 01:50:23 +0000 Dominic Chen <d.c.ddcc@gmail.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/clang/test/Analysis/explain-svals.cpp#59cd8933 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/explain-svals.cpp Tue, 28 Feb 2017 00:02:36 +0000 Dominic Chen <d.c.ddcc@gmail.com>