[clang] [clang] improve print / dump of anonymous declarations (PR #124605)

gribozavr wrote: I reverted this PR in https://github.com/llvm/llvm-project/commit/e38f4f6904b774dfdd90d78c3fb282f8cc9d07c1. https://github.com/llvm/llvm-project/pull/124605 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.or

[clang] e38f4f6 - Revert "[clang] improve print / dump of anonymous declarations (#124605)"

Author: Dmitri Gribenko Date: 2025-01-28T17:07:26+01:00 New Revision: e38f4f6904b774dfdd90d78c3fb282f8cc9d07c1 URL: https://github.com/llvm/llvm-project/commit/e38f4f6904b774dfdd90d78c3fb282f8cc9d07c1 DIFF: https://github.com/llvm/llvm-project/commit/e38f4f6904b774dfdd90d78c3fb282f8cc9d07c1.dif

[clang] [clang] improve print / dump of anonymous declarations (PR #124605)

gribozavr wrote: @mizvekov It looks like this PR introduces a crash, I'm going to revert it. Here is a reproducer: ``` $ cat parser_test-42bc8e.cpp enum a : char; class b { public: static b c; friend bool operator==(b, b) = default; a d; }; void e() { b f; f == b::c; } $ clang "-cc1"

[clang] c10d4b4 - [clang][SYCL] Add a missing include to make the header standalone

Author: Dmitri Gribenko Date: 2024-11-06T16:58:10+01:00 New Revision: c10d4b492d981c96fa3269bc0fe0b3ea9b1ca486 URL: https://github.com/llvm/llvm-project/commit/c10d4b492d981c96fa3269bc0fe0b3ea9b1ca486 DIFF: https://github.com/llvm/llvm-project/commit/c10d4b492d981c96fa3269bc0fe0b3ea9b1ca486.dif

[clang] [clang] Make nullability-on-classes more robust to redeclarations (PR #114778)

https://github.com/gribozavr approved this pull request. https://github.com/llvm/llvm-project/pull/114778 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] f709cd5 - Revert "[Coroutines] Salvage the debug information for coroutine frames within optimizations"

Author: Dmitri Gribenko Date: 2024-08-21T23:49:45+02:00 New Revision: f709cd5add0ea36bb14259e9716bd74e5c762128 URL: https://github.com/llvm/llvm-project/commit/f709cd5add0ea36bb14259e9716bd74e5c762128 DIFF: https://github.com/llvm/llvm-project/commit/f709cd5add0ea36bb14259e9716bd74e5c762128.dif

[clang] [clang] Add frontend flag to enable support for broken external resugarers (PR #103219)

https://github.com/gribozavr approved this pull request. https://github.com/llvm/llvm-project/pull/103219 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang] Add frontend flag to enable support for broken external resugarers (PR #103219)

@@ -0,0 +1,18 @@ +// RUN: %clang_cc1 -fsyntax-only -fretain-subst-template-type-parm-type-ast-nodes -ast-dump -ast-dump-filter=dump %s | FileCheck -strict-whitespace %s gribozavr wrote: Could you rename this file to match the flag name? https://github.com/llvm

[clang] [clang] Add frontend flag to enable support for broken external resugarers (PR #103219)

@@ -162,6 +162,7 @@ LANGOPT(CoroAlignedAllocation, 1, 0, "prefer Aligned Allocation according to P20 LANGOPT(DllExportInlines , 1, 1, "dllexported classes dllexport inline methods") LANGOPT(RelaxedTemplateTemplateArgs, 1, 1, "C++17 relaxed matching of template template argum

[clang] [clang] Add frontend flag to enable support for broken external resugarers (PR #102510)

https://github.com/gribozavr approved this pull request. Thank you! This change fixes and unblocks our nullability and lifetime tooling. Please merge at your convenience. https://github.com/llvm/llvm-project/pull/102510 ___ cfe-commits mailing list cf

[clang] [clang-tools-extra] [lldb] [clang] Reland: Instantiate alias templates with sugar (PR #101858)

gribozavr wrote: > @gribozavr see #102510 for alternative. Thank you! We are looking at this now. > That's not really true. You only need to upstream the AST affecting parts. > The attributes itself and AST node which represent it. The attributes are already upstream (we are reusing nullabili

[clang] [clang-tools-extra] [lldb] [clang] Reland: Instantiate alias templates with sugar (PR #101858)

gribozavr wrote: @mizvekov I will provide a more detailed response to the points you made in your last message separately, but for now I would like to ask you to revert the commit to unbreak us. We looked into the problem internally and it does not look we have a simple hack we can apply to r

[clang] [clang-tools-extra] [lldb] [clang] Reland: Instantiate alias templates with sugar (PR #101858)

gribozavr wrote: ## On resugaring bodies of function template instantiations > I just don't think that can be something we can always enable, as that would > make some examples of source code take exponentially more time and memory to > compile. We keep track of propagated and inferred nullab

[clang] [clang-tools-extra] [lldb] [clang] Reland: Instantiate alias templates with sugar (PR #101858)

gribozavr wrote: > So from my undertstanding, IWYU only needs the SubstTemplateTypeParmType for > resugaring purposes, in order to recover the type as written by the user. > > But with this patch we are doing the substitution already with sugar, so > there is no need to resugar, so IWYU should

[clang] 533a229 - [clang][test] Write temporary files to %t

Author: Dmitri Gribenko Date: 2024-07-30T10:26:31+02:00 New Revision: 533a22941e9acee1460fbd054fbfa57b82d660e5 URL: https://github.com/llvm/llvm-project/commit/533a22941e9acee1460fbd054fbfa57b82d660e5 DIFF: https://github.com/llvm/llvm-project/commit/533a22941e9acee1460fbd054fbfa57b82d660e5.dif

[clang] [Clang][Comments] Attach comments to decl even if preproc directives are in between (PR #88367)

gribozavr wrote: I'd like to push back against this change, I believe it is too broad. (Full disclosure: I'm the original author of this subsystem in Clang.) We (Google) are integrating this change downstream and it causes a bunch of comments to get associated to unrelated declarations. The pr

[clang] [clang][dataflow] Add a callback run on the pre-transfer state. (PR #96140)

https://github.com/gribozavr approved this pull request. https://github.com/llvm/llvm-project/pull/96140 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang][test] Avoid writing to a potentially write-protected dir (PR #88258)

https://github.com/gribozavr approved this pull request. https://github.com/llvm/llvm-project/pull/88258 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] 5906b1a - [APINotes][test] Fix permissions of a file copied from a source tree

Author: Dmitri Gribenko Date: 2024-03-29T00:38:11+01:00 New Revision: 5906b1ad3f70586c72293d5c62eb3f26977b8b96 URL: https://github.com/llvm/llvm-project/commit/5906b1ad3f70586c72293d5c62eb3f26977b8b96 DIFF: https://github.com/llvm/llvm-project/commit/5906b1ad3f70586c72293d5c62eb3f26977b8b96.dif

[clang] 219511a - [APINotes] Make an assert in a std::sort call tolerate self-comparisons

Author: Dmitri Gribenko Date: 2024-03-28T23:11:58+01:00 New Revision: 219511aee21cc652e1ede0458de4a4a66f04c81c URL: https://github.com/llvm/llvm-project/commit/219511aee21cc652e1ede0458de4a4a66f04c81c DIFF: https://github.com/llvm/llvm-project/commit/219511aee21cc652e1ede0458de4a4a66f04c81c.dif

[clang] [clang][nullability] allow _Nonnull etc on nullable class types (PR #82705)

@@ -96,8 +146,16 @@ void AssignAndInitNonNullFromFn() { void *_Nonnull nonnull; nonnull = ReturnNullable(); // expected-warning{{implicit conversion from nullable pointer 'void * _Nullable' to non-nullable pointer type 'void * _Nonnull'}} nonnull = {ReturnNullable()}; /

[clang] [clang-tools-extra] [clang-tidy][dataflow] Add `bugprone-null-check-after-dereference` check (PR #84166)

https://github.com/gribozavr edited https://github.com/llvm/llvm-project/pull/84166 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang-tools-extra] [clang-tidy][dataflow] Add `bugprone-null-check-after-dereference` check (PR #84166)

https://github.com/gribozavr edited https://github.com/llvm/llvm-project/pull/84166 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang-tools-extra] [clang-tidy][dataflow] Add `bugprone-null-check-after-dereference` check (PR #84166)

https://github.com/gribozavr edited https://github.com/llvm/llvm-project/pull/84166 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang-tools-extra] [clang-tidy][dataflow] Add `bugprone-null-check-after-dereference` check (PR #84166)

https://github.com/gribozavr edited https://github.com/llvm/llvm-project/pull/84166 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang-tools-extra] [clang-tidy][dataflow] Add `bugprone-null-check-after-dereference` check (PR #84166)

@@ -0,0 +1,625 @@ +//===-- NullPointerAnalysisModel.cpp *- C++ -*-===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [clang-tools-extra] [clang-tidy][dataflow] Add `bugprone-null-check-after-dereference` check (PR #84166)

@@ -0,0 +1,625 @@ +//===-- NullPointerAnalysisModel.cpp *- C++ -*-===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [clang-tools-extra] [clang-tidy][dataflow] Add `bugprone-null-check-after-dereference` check (PR #84166)

@@ -0,0 +1,625 @@ +//===-- NullPointerAnalysisModel.cpp *- C++ -*-===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [clang-tools-extra] [clang-tidy][dataflow] Add `bugprone-null-check-after-dereference` check (PR #84166)

@@ -0,0 +1,625 @@ +//===-- NullPointerAnalysisModel.cpp *- C++ -*-===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [clang-tools-extra] [clang-tidy][dataflow] Add `bugprone-null-check-after-dereference` check (PR #84166)

@@ -0,0 +1,112 @@ +//===-- NullPointerAnalysisModel.h --*- C++ -*-===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [clang-tools-extra] [clang-tidy][dataflow] Add `bugprone-null-check-after-dereference` check (PR #84166)

@@ -0,0 +1,625 @@ +//===-- NullPointerAnalysisModel.cpp *- C++ -*-===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier: Ap

[clang] [clang][dataflow] Add new `join` API and replace existing `merge` implementations. (PR #80361)

@@ -105,6 +105,27 @@ class Environment { return true; } +/// Modifies `JoinedVal` to approximate both `Val1` and `Val2`. This should +/// obey the properties of a lattice join. +/// +/// `Env1` and `Env2` can be used to query child values and path con

[clang] [Clang][AST] Fix a crash on attaching doc comments (PR #78716)

https://github.com/gribozavr approved this pull request. https://github.com/llvm/llvm-project/pull/78716 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [Clang][AST] Fix a crash on attaching doc comments (PR #78716)

gribozavr wrote: Thank you for the fix. Here's what happens here. This function receives the just-parsed decls, and its aim is to the comment in the same vicinity (I know this because I am the original author of the code). This first loop over `Decls` identifies the file in which we will be l

[clang] [clang][dataflow] Disallow setting properties on `RecordValue`s. (PR #76042)

https://github.com/gribozavr edited https://github.com/llvm/llvm-project/pull/76042 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang][dataflow] Disallow setting properties on `RecordValue`s. (PR #76042)

https://github.com/gribozavr edited https://github.com/llvm/llvm-project/pull/76042 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang][dataflow] Disallow setting properties on `RecordValue`s. (PR #76042)

https://github.com/gribozavr edited https://github.com/llvm/llvm-project/pull/76042 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang][dataflow] Disallow setting properties on `RecordValue`s. (PR #76042)

@@ -636,40 +636,37 @@ class OptionalIntAnalysis final if (!CS) return; const Stmt *S = CS->getStmt(); -auto OptionalIntRecordDecl = recordDecl(hasName("OptionalInt")); -auto HasOptionalIntType = hasType(OptionalIntRecordDecl); - -SmallVector Matches =

[clang] [CUDA] work around more __noinline__ conflicts with libc++ (PR #74123)

gribozavr wrote: I don't mind this, but should libc++ start using `_LIBCPP_NOINLINE`, we would be playing a catch-up game here. https://github.com/llvm/llvm-project/pull/74123 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.

[clang] b9b627f - [clang] Fix a new test to not write temp files to the git repository

Author: Dmitri Gribenko Date: 2023-11-27T18:04:49+01:00 New Revision: b9b627fbc3bc64cd3e7e009917df35d2971827d9 URL: https://github.com/llvm/llvm-project/commit/b9b627fbc3bc64cd3e7e009917df35d2971827d9 DIFF: https://github.com/llvm/llvm-project/commit/b9b627fbc3bc64cd3e7e009917df35d2971827d9.dif

[clang] e94e790 - [clang][test] Don't write temporary (actually, unused) outputs into CWD

Author: Dmitri Gribenko Date: 2023-09-08T23:54:41+02:00 New Revision: e94e790e46d0afd073b706afa0cf91804e7826e0 URL: https://github.com/llvm/llvm-project/commit/e94e790e46d0afd073b706afa0cf91804e7826e0 DIFF: https://github.com/llvm/llvm-project/commit/e94e790e46d0afd073b706afa0cf91804e7826e0.dif

[clang] d64c363 - [Clang][LoongArch] Add '-o /dev/null' to a test that does not care about the output

Author: Dmitri Gribenko Date: 2023-08-09T16:07:41+02:00 New Revision: d64c363f35b98ab9750a3c3a5828d8df011a4a45 URL: https://github.com/llvm/llvm-project/commit/d64c363f35b98ab9750a3c3a5828d8df011a4a45 DIFF: https://github.com/llvm/llvm-project/commit/d64c363f35b98ab9750a3c3a5828d8df011a4a45.dif

[clang] bddaa35 - Anonymous unions should be transparent wrt `[[clang::trivial_abi]]`.

Author: Dmitri Gribenko Date: 2023-08-07T20:30:48+02:00 New Revision: bddaa35177861545fc329123e55b6a3b34549507 URL: https://github.com/llvm/llvm-project/commit/bddaa35177861545fc329123e55b6a3b34549507 DIFF: https://github.com/llvm/llvm-project/commit/bddaa35177861545fc329123e55b6a3b34549507.dif

[clang-tools-extra] c0abd38 - [clang-tidy] Remove 'const' qualifiers on return types that do nothing

Author: Dmitri Gribenko Date: 2023-08-07T02:55:03+02:00 New Revision: c0abd3814564a568dfc607c216e6407eaa314f46 URL: https://github.com/llvm/llvm-project/commit/c0abd3814564a568dfc607c216e6407eaa314f46 DIFF: https://github.com/llvm/llvm-project/commit/c0abd3814564a568dfc607c216e6407eaa314f46.dif

[clang] 3b29b8a - Expose DataflowAnalysisContext.querySolver().

Author: Samira Bazuzi Date: 2023-07-01T00:15:45+02:00 New Revision: 3b29b8a2aba205b59163ba11c537fbfe25133181 URL: https://github.com/llvm/llvm-project/commit/3b29b8a2aba205b59163ba11c537fbfe25133181 DIFF: https://github.com/llvm/llvm-project/commit/3b29b8a2aba205b59163ba11c537fbfe25133181.diff

[clang] 7ebf64f - [clang][analyzer][NFC] Use the operator new directly with the `BumpPtrAllocator`

Author: Dmitri Gribenko Date: 2023-05-31T20:18:30+02:00 New Revision: 7ebf64f7e934a5e42d550194604b613113132bc0 URL: https://github.com/llvm/llvm-project/commit/7ebf64f7e934a5e42d550194604b613113132bc0 DIFF: https://github.com/llvm/llvm-project/commit/7ebf64f7e934a5e42d550194604b613113132bc0.dif

[clang] 8a40f89 - [clang][analyzer][NFC] Replace dyn_cast with cast in MemRegion::getMemorySpace

Author: Dmitri Gribenko Date: 2023-05-30T18:30:30+02:00 New Revision: 8a40f89e2e9357539db0f9a119db0fcfc77232ab URL: https://github.com/llvm/llvm-project/commit/8a40f89e2e9357539db0f9a119db0fcfc77232ab DIFF: https://github.com/llvm/llvm-project/commit/8a40f89e2e9357539db0f9a119db0fcfc77232ab.dif

[clang] 0989ce9 - [clang][analyzer][NFC] Move dyn_cast's into if statements for readability

Author: Dmitri Gribenko Date: 2023-05-30T18:22:43+02:00 New Revision: 0989ce947e3dd64f3e29e7c34f186c0a23c0323d URL: https://github.com/llvm/llvm-project/commit/0989ce947e3dd64f3e29e7c34f186c0a23c0323d DIFF: https://github.com/llvm/llvm-project/commit/0989ce947e3dd64f3e29e7c34f186c0a23c0323d.dif

[clang] daa95c7 - [clang][analyzer][NFC] Remove unnecessary FALLTHROUGH markers

Author: Dmitri Gribenko Date: 2023-05-30T18:16:35+02:00 New Revision: daa95c7de5b7d004bd6c48f5099b7b88f1f5d16d URL: https://github.com/llvm/llvm-project/commit/daa95c7de5b7d004bd6c48f5099b7b88f1f5d16d DIFF: https://github.com/llvm/llvm-project/commit/daa95c7de5b7d004bd6c48f5099b7b88f1f5d16d.dif

[clang] 0da99ff - [clang][analyzer][NFC] Remove unnecessary casts around Allocate function calls

Author: Dmitri Gribenko Date: 2023-05-30T18:10:15+02:00 New Revision: 0da99ffe1afc526844f4146c95b4b2ab251de1a9 URL: https://github.com/llvm/llvm-project/commit/0da99ffe1afc526844f4146c95b4b2ab251de1a9 DIFF: https://github.com/llvm/llvm-project/commit/0da99ffe1afc526844f4146c95b4b2ab251de1a9.dif

[clang] ffb4f4d - [ClangTidy] Fix markup in comments

Author: Dmitri Gribenko Date: 2023-05-17T10:29:10+02:00 New Revision: ffb4f4db73419d9eba81efe00aa0d498f01f6d27 URL: https://github.com/llvm/llvm-project/commit/ffb4f4db73419d9eba81efe00aa0d498f01f6d27 DIFF: https://github.com/llvm/llvm-project/commit/ffb4f4db73419d9eba81efe00aa0d498f01f6d27.dif

[clang] ef1b22a - [clang][ClangScanDeps][test] Remove the file before overwriting it

Author: Dmitri Gribenko Date: 2023-04-06T13:51:57+02:00 New Revision: ef1b22a20fd4d8c0cfea64089d4e732dd95dc265 URL: https://github.com/llvm/llvm-project/commit/ef1b22a20fd4d8c0cfea64089d4e732dd95dc265 DIFF: https://github.com/llvm/llvm-project/commit/ef1b22a20fd4d8c0cfea64089d4e732dd95dc265.dif

[clang] cd11f55 - [clang][dataflow] Fix indentation in a test

Author: Dmitri Gribenko Date: 2023-03-20T18:34:16+01:00 New Revision: cd11f55a0c6d8524f9ac494d26514d4d72d83435 URL: https://github.com/llvm/llvm-project/commit/cd11f55a0c6d8524f9ac494d26514d4d72d83435 DIFF: https://github.com/llvm/llvm-project/commit/cd11f55a0c6d8524f9ac494d26514d4d72d83435.dif

[clang] 8bb54da - Allow getRawCommentForDecl to find comments in macros

Author: Dana Jansens Date: 2023-01-26T10:12:57+01:00 New Revision: 8bb54da5da3194b71b54f70c6cc55485cf2623b0 URL: https://github.com/llvm/llvm-project/commit/8bb54da5da3194b71b54f70c6cc55485cf2623b0 DIFF: https://github.com/llvm/llvm-project/commit/8bb54da5da3194b71b54f70c6cc55485cf2623b0.diff

[clang] c8b31da - [clang][dataflow] Allow analyzing multiple functions in unit tests

Author: Dmitri Gribenko Date: 2023-01-21T01:28:03+01:00 New Revision: c8b31da1ef0a3f2a0ba5c39bb4281b1438e511fb URL: https://github.com/llvm/llvm-project/commit/c8b31da1ef0a3f2a0ba5c39bb4281b1438e511fb DIFF: https://github.com/llvm/llvm-project/commit/c8b31da1ef0a3f2a0ba5c39bb4281b1438e511fb.dif

[clang] 0a11a1b - [OpenMP] Fix a test that fails when 'libgomp' is the default library

Author: Dmitri Gribenko Date: 2023-01-12T09:54:42+01:00 New Revision: 0a11a1b1868dd2ab183c4313ccbfbe126e91ca08 URL: https://github.com/llvm/llvm-project/commit/0a11a1b1868dd2ab183c4313ccbfbe126e91ca08 DIFF: https://github.com/llvm/llvm-project/commit/0a11a1b1868dd2ab183c4313ccbfbe126e91ca08.dif

[clang] 5674385 - [clang][dataflow] Remove unused includes

Author: Dmitri Gribenko Date: 2023-01-02T23:34:24+01:00 New Revision: 5674385577f144db2131278449665994acff035c URL: https://github.com/llvm/llvm-project/commit/5674385577f144db2131278449665994acff035c DIFF: https://github.com/llvm/llvm-project/commit/5674385577f144db2131278449665994acff035c.dif

[clang] d273863 - [clang] Remove deprecated ControlFlowContext::build()

Author: Dmitri Gribenko Date: 2022-12-23T15:06:59+01:00 New Revision: d27386384a2a414bcd7c7a18491db32f4ca86881 URL: https://github.com/llvm/llvm-project/commit/d27386384a2a414bcd7c7a18491db32f4ca86881 DIFF: https://github.com/llvm/llvm-project/commit/d27386384a2a414bcd7c7a18491db32f4ca86881.dif

[clang-tools-extra] 3a39b0a - [clang] Migrate away from a deprecated Clang CFG factory function

Author: Dmitri Gribenko Date: 2022-12-23T14:36:52+01:00 New Revision: 3a39b0ac1a72a2fb554e2ccc286003da5166faeb URL: https://github.com/llvm/llvm-project/commit/3a39b0ac1a72a2fb554e2ccc286003da5166faeb DIFF: https://github.com/llvm/llvm-project/commit/3a39b0ac1a72a2fb554e2ccc286003da5166faeb.dif

[clang] 0da4cec - [clang][dataflow] Remove unused argument in getNullability

Author: Dani Ferreira Franco Moura Date: 2022-12-16T12:22:23+01:00 New Revision: 0da4cecfb6ad14ee0f0f9fa904e685fd6b64be60 URL: https://github.com/llvm/llvm-project/commit/0da4cecfb6ad14ee0f0f9fa904e685fd6b64be60 DIFF: https://github.com/llvm/llvm-project/commit/0da4cecfb6ad14ee0f0f9fa904e685fd6

[clang] 4ca1ae5 - [clang][dataflow] Remove old diagnoser API

Author: Dani Ferreira Franco Moura Date: 2022-12-14T20:45:48+01:00 New Revision: 4ca1ae580b0ce44c3a83992cf3abae45c3a229b4 URL: https://github.com/llvm/llvm-project/commit/4ca1ae580b0ce44c3a83992cf3abae45c3a229b4 DIFF: https://github.com/llvm/llvm-project/commit/4ca1ae580b0ce44c3a83992cf3abae45c

[clang] 82d50fe - [clang][dataflow] Change the diagnoser API to receive a correctly typed lattice element

Author: Dani Ferreira Franco Moura Date: 2022-12-13T14:49:07+01:00 New Revision: 82d50fef9b7c1dfdff7f9265340fde40a34870cf URL: https://github.com/llvm/llvm-project/commit/82d50fef9b7c1dfdff7f9265340fde40a34870cf DIFF: https://github.com/llvm/llvm-project/commit/82d50fef9b7c1dfdff7f9265340fde40a

[clang] 4d1c5b9 - [openmp] Fix a doc comment issue found by -Wdocumentation

Author: Dmitri Gribenko Date: 2022-12-12T00:14:01+01:00 New Revision: 4d1c5b946ad7f10d398b43e7f20a528407fb79b9 URL: https://github.com/llvm/llvm-project/commit/4d1c5b946ad7f10d398b43e7f20a528407fb79b9 DIFF: https://github.com/llvm/llvm-project/commit/4d1c5b946ad7f10d398b43e7f20a528407fb79b9.dif

[clang] 8d43423 - [openmp] Fix a doc comment issue found by -Wdocumentation

Author: Dmitri Gribenko Date: 2022-12-11T23:58:28+01:00 New Revision: 8d434235569fe4472c5de43d5f97e3a0bd1f URL: https://github.com/llvm/llvm-project/commit/8d434235569fe4472c5de43d5f97e3a0bd1f DIFF: https://github.com/llvm/llvm-project/commit/8d434235569fe4472c5de43d5f97e3a0bd1f.dif

[clang] 3c50f0d - Add const information about AST nodes used to construct CFG elements.

Author: Dani Ferreira Franco Moura Date: 2022-11-08T12:11:38+01:00 New Revision: 3c50f0d879bf73e7cf64c83017ccb442d780aae6 URL: https://github.com/llvm/llvm-project/commit/3c50f0d879bf73e7cf64c83017ccb442d780aae6 DIFF: https://github.com/llvm/llvm-project/commit/3c50f0d879bf73e7cf64c83017ccb442d

[clang] 941959d - [clang][dataflow] Use llvm::is_contained()

Author: Dmitri Gribenko Date: 2022-08-16T19:59:21+02:00 New Revision: 941959d69de76342fbeebcebd9f0ebdf2f73c77d URL: https://github.com/llvm/llvm-project/commit/941959d69de76342fbeebcebd9f0ebdf2f73c77d DIFF: https://github.com/llvm/llvm-project/commit/941959d69de76342fbeebcebd9f0ebdf2f73c77d.dif

[clang] b5e3dac - [clang][dataflow] Add explicit "AST" nodes for implications and iff

Author: Dmitri Gribenko Date: 2022-07-26T14:19:22+02:00 New Revision: b5e3dac33d42cdf8a3b19b1f64b726e700363ded URL: https://github.com/llvm/llvm-project/commit/b5e3dac33d42cdf8a3b19b1f64b726e700363ded DIFF: https://github.com/llvm/llvm-project/commit/b5e3dac33d42cdf8a3b19b1f64b726e700363ded.dif

[clang] 3281138 - [clang][dataflow] Fix SAT solver crashes on `X ^ X` and `X v X`

Author: Dmitri Gribenko Date: 2022-07-26T10:26:44+02:00 New Revision: 3281138aad80fcefc7f266c7e3b2e359d5dbc8da URL: https://github.com/llvm/llvm-project/commit/3281138aad80fcefc7f266c7e3b2e359d5dbc8da DIFF: https://github.com/llvm/llvm-project/commit/3281138aad80fcefc7f266c7e3b2e359d5dbc8da.dif

[clang] c0c9d71 - [clang][dataflow] Rename iterators from IT to It

Author: Dmitri Gribenko Date: 2022-07-25T20:28:47+02:00 New Revision: c0c9d717dfd2cbb4d940ce23d20698b4b8f6 URL: https://github.com/llvm/llvm-project/commit/c0c9d717dfd2cbb4d940ce23d20698b4b8f6 DIFF: https://github.com/llvm/llvm-project/commit/c0c9d717dfd2cbb4d940ce23d20698b4b8f6.dif

[clang] cd9a5cf - Use the range-based overload of llvm::sort where possible

Author: Dmitri Gribenko Date: 2022-07-23T15:13:25+02:00 New Revision: cd9a5cfd2e4e4d583c9bf5ef1100acaf5e96f29e URL: https://github.com/llvm/llvm-project/commit/cd9a5cfd2e4e4d583c9bf5ef1100acaf5e96f29e DIFF: https://github.com/llvm/llvm-project/commit/cd9a5cfd2e4e4d583c9bf5ef1100acaf5e96f29e.dif

[clang-tools-extra] cd9a5cf - Use the range-based overload of llvm::sort where possible

Author: Dmitri Gribenko Date: 2022-07-23T15:13:25+02:00 New Revision: cd9a5cfd2e4e4d583c9bf5ef1100acaf5e96f29e URL: https://github.com/llvm/llvm-project/commit/cd9a5cfd2e4e4d583c9bf5ef1100acaf5e96f29e DIFF: https://github.com/llvm/llvm-project/commit/cd9a5cfd2e4e4d583c9bf5ef1100acaf5e96f29e.dif

[clang] b5414b5 - [clang][dataflow] Add DataflowEnvironment::dump()

Author: Dmitri Gribenko Date: 2022-07-23T01:31:53+02:00 New Revision: b5414b566a5aedd90e41f01dd2b7b632afc5d5b7 URL: https://github.com/llvm/llvm-project/commit/b5414b566a5aedd90e41f01dd2b7b632afc5d5b7 DIFF: https://github.com/llvm/llvm-project/commit/b5414b566a5aedd90e41f01dd2b7b632afc5d5b7.dif

[clang] ee6aba8 - [clang][dataflow] Expose stringification functions for SAT solver enums

Author: Dmitri Gribenko Date: 2022-07-23T01:21:20+02:00 New Revision: ee6aba85aa48d03a931ba989ea2c1584b468588a URL: https://github.com/llvm/llvm-project/commit/ee6aba85aa48d03a931ba989ea2c1584b468588a DIFF: https://github.com/llvm/llvm-project/commit/ee6aba85aa48d03a931ba989ea2c1584b468588a.dif

[clang] 589ddd7 - [clang][dataflow] ArrayRef'ize debugString()

Author: Dmitri Gribenko Date: 2022-07-23T01:16:31+02:00 New Revision: 589ddd7fe8e4dcf3323dd0b8f6af3ae953ed6037 URL: https://github.com/llvm/llvm-project/commit/589ddd7fe8e4dcf3323dd0b8f6af3ae953ed6037 DIFF: https://github.com/llvm/llvm-project/commit/589ddd7fe8e4dcf3323dd0b8f6af3ae953ed6037.dif

[clang] 63fac42 - Revert "[clang][dataflow] Return a solution from the solver when `Constraints` are `Satisfiable`."

Author: Dmitri Gribenko Date: 2022-07-07T21:50:52+02:00 New Revision: 63fac424e674bbd77f63e2c76cda9ae28552916a URL: https://github.com/llvm/llvm-project/commit/63fac424e674bbd77f63e2c76cda9ae28552916a DIFF: https://github.com/llvm/llvm-project/commit/63fac424e674bbd77f63e2c76cda9ae28552916a.dif

[clang] 19e2188 - [clang][dataflow] Return a solution from the solver when `Constraints` are `Satisfiable`.

Author: Wei Yi Tee Date: 2022-07-07T20:53:47+02:00 New Revision: 19e21887eb18aa019000c2384ea7f2c91d937489 URL: https://github.com/llvm/llvm-project/commit/19e21887eb18aa019000c2384ea7f2c91d937489 DIFF: https://github.com/llvm/llvm-project/commit/19e21887eb18aa019000c2384ea7f2c91d937489.diff LO

[clang-tools-extra] 40af95d - [clang-tools-extra] Fix a link in ReleaseNotes.rst

Author: Dmitri Gribenko Date: 2022-07-05T23:09:55+02:00 New Revision: 40af95d80bcb526ec7b025eb677f64bfdd083e96 URL: https://github.com/llvm/llvm-project/commit/40af95d80bcb526ec7b025eb677f64bfdd083e96 DIFF: https://github.com/llvm/llvm-project/commit/40af95d80bcb526ec7b025eb677f64bfdd083e96.dif

[clang-tools-extra] 05130a6 - new clang-tidy checker for assignments within condition clause of if statement

Author: Dmitri Gribenko Date: 2022-07-05T23:04:12+02:00 New Revision: 05130a6ba7d9974136388c1fbe63125596325d2e URL: https://github.com/llvm/llvm-project/commit/05130a6ba7d9974136388c1fbe63125596325d2e DIFF: https://github.com/llvm/llvm-project/commit/05130a6ba7d9974136388c1fbe63125596325d2e.dif

[clang] ae90bc8 - [clang][dataflow] Add `buildAndSubstituteFlowCondition` to `DataflowEnvironment`

Author: Wei Yi Tee Date: 2022-06-27T21:09:05+02:00 New Revision: ae90bc8467589cbc2079b93fae2b6ceec0821e27 URL: https://github.com/llvm/llvm-project/commit/ae90bc8467589cbc2079b93fae2b6ceec0821e27 DIFF: https://github.com/llvm/llvm-project/commit/ae90bc8467589cbc2079b93fae2b6ceec0821e27.diff LO

[clang] fa34210 - [clang][dataflow] Do not allow substitution of true/false boolean literals in `buildAndSubstituteFlowCondition`

Author: Wei Yi Tee Date: 2022-06-27T21:04:52+02:00 New Revision: fa34210fa69f64a96dc64983b3de00ddd21e55e1 URL: https://github.com/llvm/llvm-project/commit/fa34210fa69f64a96dc64983b3de00ddd21e55e1 DIFF: https://github.com/llvm/llvm-project/commit/fa34210fa69f64a96dc64983b3de00ddd21e55e1.diff LO

[clang] b611376 - [clang][dataflow] Singleton pointer values for null pointers.

Author: Wei Yi Tee Date: 2022-06-27T14:17:34+02:00 New Revision: b611376e7eb5ea8bd0b32c2911e039b29828b9a8 URL: https://github.com/llvm/llvm-project/commit/b611376e7eb5ea8bd0b32c2911e039b29828b9a8 DIFF: https://github.com/llvm/llvm-project/commit/b611376e7eb5ea8bd0b32c2911e039b29828b9a8.diff LO

[clang] bdfe556 - [clang][dataflow] Implement functionality for flow condition variable substitution.

Author: Wei Yi Tee Date: 2022-06-27T11:37:46+02:00 New Revision: bdfe556dd837007c5671f33384d26e9ea315db53 URL: https://github.com/llvm/llvm-project/commit/bdfe556dd837007c5671f33384d26e9ea315db53 DIFF: https://github.com/llvm/llvm-project/commit/bdfe556dd837007c5671f33384d26e9ea315db53.diff LO

[clang] 12c7352 - [clang][dataflow] Move logic for `createStorageLocation` from `DataflowEnvironment` to `DataflowAnalysisContext`.

Author: Wei Yi Tee Date: 2022-06-27T11:16:51+02:00 New Revision: 12c7352fa4885a61997cff26f9578bacc166df3b URL: https://github.com/llvm/llvm-project/commit/12c7352fa4885a61997cff26f9578bacc166df3b DIFF: https://github.com/llvm/llvm-project/commit/12c7352fa4885a61997cff26f9578bacc166df3b.diff LO

[clang] 0f65a3e - [clang][dataflow] Implement functionality to compare if two boolean values are equivalent.

Author: Wei Yi Tee Date: 2022-06-25T00:10:35+02:00 New Revision: 0f65a3e610051fc319372eea647fb50f60b2b21c URL: https://github.com/llvm/llvm-project/commit/0f65a3e610051fc319372eea647fb50f60b2b21c DIFF: https://github.com/llvm/llvm-project/commit/0f65a3e610051fc319372eea647fb50f60b2b21c.diff LO

[clang] 42a7ddb - [clang][dataflow] Refactor function that queries the solver for satisfiability checking.

Author: Wei Yi Tee Date: 2022-06-25T00:05:43+02:00 New Revision: 42a7ddb428c999229491b0effbb1a4059149fba8 URL: https://github.com/llvm/llvm-project/commit/42a7ddb428c999229491b0effbb1a4059149fba8 DIFF: https://github.com/llvm/llvm-project/commit/42a7ddb428c999229491b0effbb1a4059149fba8.diff LO

[clang] 00e9d53 - [clang][dataflow] Move logic for creating implication and iff expressions into `DataflowAnalysisContext` from `DataflowEnvironment`.

Author: Wei Yi Tee Date: 2022-06-24T23:16:44+02:00 New Revision: 00e9d53453abc8f2e3d69e9c7fba83dc65a74259 URL: https://github.com/llvm/llvm-project/commit/00e9d53453abc8f2e3d69e9c7fba83dc65a74259 DIFF: https://github.com/llvm/llvm-project/commit/00e9d53453abc8f2e3d69e9c7fba83dc65a74259.diff LO

[clang] fb88ea6 - [clang][dataflow] Store flow condition constraints in a single `FlowConditionConstraints` map.

Author: Wei Yi Tee Date: 2022-06-24T21:52:16+02:00 New Revision: fb88ea62602c90f8f7c80560fd6a14f1c8c6d520 URL: https://github.com/llvm/llvm-project/commit/fb88ea62602c90f8f7c80560fd6a14f1c8c6d520 DIFF: https://github.com/llvm/llvm-project/commit/fb88ea62602c90f8f7c80560fd6a14f1c8c6d520.diff LO

[clang] 37b881a - clang: Tweak behaviour of warn_empty_while_body and warn_empty_if_body

Author: Dmitri Gribenko Date: 2022-06-24T02:40:25+02:00 New Revision: 37b881aa0bca09b7cc80575cc4b97453aa724186 URL: https://github.com/llvm/llvm-project/commit/37b881aa0bca09b7cc80575cc4b97453aa724186 DIFF: https://github.com/llvm/llvm-project/commit/37b881aa0bca09b7cc80575cc4b97453aa724186.dif

[clang] 97d69cd - [clang][dataflow] Rename `getPointeeLoc` to `getReferentLoc` for ReferenceValue.

Author: Wei Yi Tee Date: 2022-06-15T00:53:30+02:00 New Revision: 97d69cdaf324ec520b3f7685ef05f8e207a7bd3b URL: https://github.com/llvm/llvm-project/commit/97d69cdaf324ec520b3f7685ef05f8e207a7bd3b DIFF: https://github.com/llvm/llvm-project/commit/97d69cdaf324ec520b3f7685ef05f8e207a7bd3b.diff LO

[clang-tools-extra] 11f75e0 - [clang-tidy][docs] Remove an unintentional paragraph break

Author: Dmitri Gribenko Date: 2022-06-11T21:03:43+02:00 New Revision: 11f75e0a2dfa1455eee097dfa72686d8a4dc7802 URL: https://github.com/llvm/llvm-project/commit/11f75e0a2dfa1455eee097dfa72686d8a4dc7802 DIFF: https://github.com/llvm/llvm-project/commit/11f75e0a2dfa1455eee097dfa72686d8a4dc7802.dif

[clang-tools-extra] 65299c9 - [clang-tidy][docs] Use std::optional instead of absl::optional in examples

Author: Dmitri Gribenko Date: 2022-06-11T21:03:43+02:00 New Revision: 65299c9c652f3ce4958011ffe28119d0eff0f38d URL: https://github.com/llvm/llvm-project/commit/65299c9c652f3ce4958011ffe28119d0eff0f38d DIFF: https://github.com/llvm/llvm-project/commit/65299c9c652f3ce4958011ffe28119d0eff0f38d.dif

[clang] a1b2b7d - [clang][dataflow] Remove IndirectionValue class, moving PointeeLoc field into PointerValue and ReferenceValue

Author: Wei Yi Tee Date: 2022-06-09T01:29:16+02:00 New Revision: a1b2b7d9790b8a150d798fcc672387607986dbe0 URL: https://github.com/llvm/llvm-project/commit/a1b2b7d9790b8a150d798fcc672387607986dbe0 DIFF: https://github.com/llvm/llvm-project/commit/a1b2b7d9790b8a150d798fcc672387607986dbe0.diff LO

[clang] 49ed5bf - [clang][dataflow] Enable use of synthetic properties on all Value instances.

Author: Wei Yi Tee Date: 2022-06-08T20:20:26+02:00 New Revision: 49ed5bf51958aaeb209804da794c85d06207c3ed URL: https://github.com/llvm/llvm-project/commit/49ed5bf51958aaeb209804da794c85d06207c3ed DIFF: https://github.com/llvm/llvm-project/commit/49ed5bf51958aaeb209804da794c85d06207c3ed.diff LO

[clang-tools-extra] 9c6a2f2 - Fix an unused variable warning in no-asserts build mode

Author: Dmitri Gribenko Date: 2022-05-17T15:27:44+02:00 New Revision: 9c6a2f29660b886044a267bb4de662cd801079bc URL: https://github.com/llvm/llvm-project/commit/9c6a2f29660b886044a267bb4de662cd801079bc DIFF: https://github.com/llvm/llvm-project/commit/9c6a2f29660b886044a267bb4de662cd801079bc.dif

[clang] f2b31f0 - re-roll-forward "[clang] Mark `trivial_abi` types as "trivially relocatable"".""

Author: Devin Jeanpierre Date: 2022-04-28T14:53:59+02:00 New Revision: f2b31f06b79a6cfb7eb3146dfc1d514da52142e9 URL: https://github.com/llvm/llvm-project/commit/f2b31f06b79a6cfb7eb3146dfc1d514da52142e9 DIFF: https://github.com/llvm/llvm-project/commit/f2b31f06b79a6cfb7eb3146dfc1d514da52142e9.di

[clang] 56d46b3 - [clang] roll-forward "[clang] Mark `trivial_abi` types as "trivially relocatable"".

Author: Devin Jeanpierre Date: 2022-02-04T20:17:34+01:00 New Revision: 56d46b36fc231a0beb518602503035bba92043e0 URL: https://github.com/llvm/llvm-project/commit/56d46b36fc231a0beb518602503035bba92043e0 DIFF: https://github.com/llvm/llvm-project/commit/56d46b36fc231a0beb518602503035bba92043e0.di

[clang] 852afed - Revert "[clang] Mark `trivial_abi` types as "trivially relocatable"."

Author: Dmitri Gribenko Date: 2022-02-03T22:31:44+01:00 New Revision: 852afed5e0200b70047c28ccf4424a17089d17b0 URL: https://github.com/llvm/llvm-project/commit/852afed5e0200b70047c28ccf4424a17089d17b0 DIFF: https://github.com/llvm/llvm-project/commit/852afed5e0200b70047c28ccf4424a17089d17b0.dif

[clang-tools-extra] fd8fc5e - [clang-tidy] abseil-string-find-startswith: detect `s.rfind(z, 0) == 0`

Author: Ivan Gerasimov Date: 2021-12-22T16:45:51+01:00 New Revision: fd8fc5e8d93849f4a2c8dea087690b1a0e6ea7df URL: https://github.com/llvm/llvm-project/commit/fd8fc5e8d93849f4a2c8dea087690b1a0e6ea7df DIFF: https://github.com/llvm/llvm-project/commit/fd8fc5e8d93849f4a2c8dea087690b1a0e6ea7df.diff

[clang] 8dcaf3a - [clang][dataflow] Implement a basic algorithm for dataflow analysis

Author: Stanislav Gatev Date: 2021-12-10T11:44:49+01:00 New Revision: 8dcaf3aa0bf25508700a7452ed963c1487221dfd URL: https://github.com/llvm/llvm-project/commit/8dcaf3aa0bf25508700a7452ed963c1487221dfd DIFF: https://github.com/llvm/llvm-project/commit/8dcaf3aa0bf25508700a7452ed963c1487221dfd.dif

[clang] efb284c - [clang-format] Fixed an unused variable warning

Author: Dmitri Gribenko Date: 2021-09-24T10:37:04+02:00 New Revision: efb284c07e97776e01933f470afb5215a561db3e URL: https://github.com/llvm/llvm-project/commit/efb284c07e97776e01933f470afb5215a561db3e DIFF: https://github.com/llvm/llvm-project/commit/efb284c07e97776e01933f470afb5215a561db3e.dif

  1   2   3   >