[clang] [clang][dataflow] Make cap on block visits configurable by caller. (PR #77481)

@@ -261,14 +270,23 @@ auto createAnalysis(ASTContext &ASTCtx, Environment &Env) /// iterations. /// - This limit is still low enough to keep runtimes acceptable (on typical /// machines) in cases where we hit the limit. +/// +/// `MaxBlockVisits` caps the number of block vi

[clang] [clang][dataflow] Make cap on block visits configurable by caller. (PR #77481)

https://github.com/ymand updated https://github.com/llvm/llvm-project/pull/77481 >From 02f3e6ad46db8df8256ec15f3388399f24eaafad Mon Sep 17 00:00:00 2001 From: Yitzhak Mandelbaum Date: Thu, 4 Jan 2024 15:36:40 + Subject: [PATCH 1/3] [clang][dataflow] Make cap on block visits configurable by

[clang] [clang][dataflow] Make cap on block visits configurable by caller. (PR #77481)

@@ -186,6 +186,14 @@ template struct DataflowAnalysisState { /// the dataflow analysis cannot be performed successfully. Otherwise, calls /// `PostVisitCFG` on each CFG element with the final analysis results at that /// program point. +/// +/// `MaxBlockVisits` caps the numbe

[clang] [clang][dataflow] Make cap on block visits configurable by caller. (PR #77481)

https://github.com/ymand updated https://github.com/llvm/llvm-project/pull/77481 >From 1e37ced06198e9d8b7c583e01f22e53508182902 Mon Sep 17 00:00:00 2001 From: Yitzhak Mandelbaum Date: Thu, 4 Jan 2024 15:36:40 + Subject: [PATCH 1/3] [clang][dataflow] Make cap on block visits configurable by

[clang] [clang][dataflow] Make cap on block visits configurable by caller. (PR #77481)

https://github.com/ymand updated https://github.com/llvm/llvm-project/pull/77481 >From f114ac46b58118cc8d4a07119b8a51787f481ded Mon Sep 17 00:00:00 2001 From: Yitzhak Mandelbaum Date: Thu, 4 Jan 2024 15:36:40 + Subject: [PATCH] [clang][dataflow] Make cap on block visits configurable by call

[clang-tools-extra] [clang][dataflow]Use cast_or_null instead of cast to prevent crash (PR #68510)

https://github.com/ymand approved this pull request. Thanks, looks good! You can submit as is, but if you're up for it, it would actually be better to add the new test case directly to the model's unittests. Something like this test (though just one case is enough -- please put it in a separa

[clang] [clang][dataflow] Remove `DataflowAnalysisContext::flowConditionIsTautology()`. (PR #69601)

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

[clang-tools-extra] r369914 - [clang-tidy] TransformerClangTidyCheck: change choice of location for diagnostic message.

Author: ymandel Date: Mon Aug 26 08:17:29 2019 New Revision: 369914 URL: http://llvm.org/viewvc/llvm-project?rev=369914&view=rev Log: [clang-tidy] TransformerClangTidyCheck: change choice of location for diagnostic message. Summary: This patch changes the location specified to the `ClangTidyChec

[clang-tools-extra] r369915 - [clang-tidy][NFC] Qualify `makeRule` call in test, for consistency with other calls.

Author: ymandel Date: Mon Aug 26 08:27:05 2019 New Revision: 369915 URL: http://llvm.org/viewvc/llvm-project?rev=369915&view=rev Log: [clang-tidy][NFC] Qualify `makeRule` call in test, for consistency with other calls. One call `makeRule` is unqualified (and unintentionally relying on ADL to res

[clang-tools-extra] r371396 - [clang-tidy] Fix bug in bugprone-use-after-move check

Author: ymandel Date: Mon Sep 9 05:59:14 2019 New Revision: 371396 URL: http://llvm.org/viewvc/llvm-project?rev=371396&view=rev Log: [clang-tidy] Fix bug in bugprone-use-after-move check Summary: The bugprone-use-after-move check exhibits false positives for certain uses of the C++17 if/switch i

[clang] a5cefd9 - [libTooling] Fix use of `char` in comparison.

Author: Yitzhak Mandelbaum Date: 2020-09-11T12:24:09Z New Revision: a5cefd95cc60318fbf8610ee782bd22b492692a2 URL: https://github.com/llvm/llvm-project/commit/a5cefd95cc60318fbf8610ee782bd22b492692a2 DIFF: https://github.com/llvm/llvm-project/commit/a5cefd95cc60318fbf8610ee782bd22b492692a2.diff

[clang] 6f0a371 - [libTooling] Restore defaults for matchers in makeRule.

Author: Yitzhak Mandelbaum Date: 2020-09-02T19:36:14Z New Revision: 6f0a3711bc15f8b50ad56d64eee70d9ba62f70c6 URL: https://github.com/llvm/llvm-project/commit/6f0a3711bc15f8b50ad56d64eee70d9ba62f70c6 DIFF: https://github.com/llvm/llvm-project/commit/6f0a3711bc15f8b50ad56d64eee70d9ba62f70c6.diff

[clang] d4f3903 - [libTooling] Provide overloads of `rewriteDescendants` that operate directly on an AST node.

Author: Yitzhak Mandelbaum Date: 2020-09-03T14:39:50Z New Revision: d4f3903131292d36b3bc22c28798b8e9dae20af6 URL: https://github.com/llvm/llvm-project/commit/d4f3903131292d36b3bc22c28798b8e9dae20af6 DIFF: https://github.com/llvm/llvm-project/commit/d4f3903131292d36b3bc22c28798b8e9dae20af6.diff

[clang-tools-extra] 068da2c - [clang-tidy] Allow `TransformerClangTidyCheck` clients to set the rule directly.

Author: Yitzhak Mandelbaum Date: 2020-11-18T18:25:21Z New Revision: 068da2c749a58b46bd59381890a6a137d6e3128e URL: https://github.com/llvm/llvm-project/commit/068da2c749a58b46bd59381890a6a137d6e3128e DIFF: https://github.com/llvm/llvm-project/commit/068da2c749a58b46bd59381890a6a137d6e3128e.diff

[clang] 65cb4fd - [libTooling] Change `after` range-selector to operate only on source ranges

Author: Yitzhak Mandelbaum Date: 2020-10-15T20:58:30Z New Revision: 65cb4fdd69f43b6c39a8e4ca27b509284b11d807 URL: https://github.com/llvm/llvm-project/commit/65cb4fdd69f43b6c39a8e4ca27b509284b11d807 DIFF: https://github.com/llvm/llvm-project/commit/65cb4fdd69f43b6c39a8e4ca27b509284b11d807.diff

[clang] 88e6208 - [libTooling] Update Transformer's `node` combinator to include the trailing semicolon for decls.

Author: Yitzhak Mandelbaum Date: 2020-11-20T18:11:50Z New Revision: 88e62085624e7ec55bd4a41c6d77acdcb7f1d113 URL: https://github.com/llvm/llvm-project/commit/88e62085624e7ec55bd4a41c6d77acdcb7f1d113 DIFF: https://github.com/llvm/llvm-project/commit/88e62085624e7ec55bd4a41c6d77acdcb7f1d113.diff

[clang] fdff677 - [libTooling] Remove deprecated Clang Transformer declarations

Author: Yitzhak Mandelbaum Date: 2020-11-30T20:15:26Z New Revision: fdff677a955730b3e85b870ff1b30d7f8ea5719c URL: https://github.com/llvm/llvm-project/commit/fdff677a955730b3e85b870ff1b30d7f8ea5719c DIFF: https://github.com/llvm/llvm-project/commit/fdff677a955730b3e85b870ff1b30d7f8ea5719c.diff

[clang] e6bc4a7 - [libTooling] Add `describe` combinator for formatting AST nodes for diagnostics.

Author: Yitzhak Mandelbaum Date: 2020-12-07T16:08:05Z New Revision: e6bc4a71e3450d7230205683f63d6e22fbf9bf05 URL: https://github.com/llvm/llvm-project/commit/e6bc4a71e3450d7230205683f63d6e22fbf9bf05 DIFF: https://github.com/llvm/llvm-project/commit/e6bc4a71e3450d7230205683f63d6e22fbf9bf05.diff

[clang] 6f8f5cb - [libTooling] Add function to Transformer to create a no-op edit.

Author: Yitzhak Mandelbaum Date: 2020-10-22T21:29:03Z New Revision: 6f8f5cb77efd100e5d4916db871b18c88cf49ed0 URL: https://github.com/llvm/llvm-project/commit/6f8f5cb77efd100e5d4916db871b18c88cf49ed0 DIFF: https://github.com/llvm/llvm-project/commit/6f8f5cb77efd100e5d4916db871b18c88cf49ed0.diff

[clang] d0e1593 - Add matchers for gtest's ASSERT_THAT, EXPECT_THAT, ON_CALL and EXPECT_CALL

Author: Zhaomo Yang Date: 2021-06-02T17:28:14Z New Revision: d0e159334f9d1285ec35cf71465358c47141618c URL: https://github.com/llvm/llvm-project/commit/d0e159334f9d1285ec35cf71465358c47141618c DIFF: https://github.com/llvm/llvm-project/commit/d0e159334f9d1285ec35cf71465358c47141618c.diff LOG: A

[clang] b2c8bcb - Fix "control reaches end of non-void function" warnings on ppc64le

Author: Zhaomo Yang Date: 2021-06-03T00:53:53Z New Revision: b2c8bcbab8a44c4582632845697b9425c3200230 URL: https://github.com/llvm/llvm-project/commit/b2c8bcbab8a44c4582632845697b9425c3200230 DIFF: https://github.com/llvm/llvm-project/commit/b2c8bcbab8a44c4582632845697b9425c3200230.diff LOG: F

[clang] 56e72a4 - Update `DynTypedNode` to support the conversion of `TypeLoc`s.

Author: James King Date: 2021-10-04T19:25:24Z New Revision: 56e72a40c1985529399738f66c6f4c24029112d6 URL: https://github.com/llvm/llvm-project/commit/56e72a40c1985529399738f66c6f4c24029112d6 DIFF: https://github.com/llvm/llvm-project/commit/56e72a40c1985529399738f66c6f4c24029112d6.diff LOG: Up

[clang-tools-extra] 33f35a4 - [clang-tidy] Fix `TransformerClangTidyCheck`'s handling of include insertions.

Author: Yitzhak Mandelbaum Date: 2021-02-12T16:23:53Z New Revision: 33f35a4b793bb53b830f8893110af57672e1dc79 URL: https://github.com/llvm/llvm-project/commit/33f35a4b793bb53b830f8893110af57672e1dc79 DIFF: https://github.com/llvm/llvm-project/commit/33f35a4b793bb53b830f8893110af57672e1dc79.diff

[clang] f387c85 - [libTooling][NFC] Refactor implemenation of Transformer Stencils to use standard OOP

Author: Yitzhak Mandelbaum Date: 2021-06-16T15:18:40Z New Revision: f387c8545d3a729eaf0e76c22f445a2209705814 URL: https://github.com/llvm/llvm-project/commit/f387c8545d3a729eaf0e76c22f445a2209705814 DIFF: https://github.com/llvm/llvm-project/commit/f387c8545d3a729eaf0e76c22f445a2209705814.diff

[clang] 439c920 - [ASTMatchers] Fix bug in `hasUnaryOperand`

Author: Yitzhak Mandelbaum Date: 2021-06-16T20:17:56Z New Revision: 439c9206945aba15d74d5bcaef3bf3f4d1e32b5e URL: https://github.com/llvm/llvm-project/commit/439c9206945aba15d74d5bcaef3bf3f4d1e32b5e DIFF: https://github.com/llvm/llvm-project/commit/439c9206945aba15d74d5bcaef3bf3f4d1e32b5e.diff

[clang] c7ed4fe - [libTooling] Change `access` stencil to recognize use of `operator*`.

Author: Yitzhak Mandelbaum Date: 2021-06-16T20:34:00Z New Revision: c7ed4fe56e0a6c664c5fb5dedaedb426abe7224d URL: https://github.com/llvm/llvm-project/commit/c7ed4fe56e0a6c664c5fb5dedaedb426abe7224d DIFF: https://github.com/llvm/llvm-project/commit/c7ed4fe56e0a6c664c5fb5dedaedb426abe7224d.diff

[clang-tools-extra] 1fdb3e3 - abseil-string-find-str-contains should not propose an edit for the three-parameter version of find().

Author: Tom Lokovic Date: 2021-08-10T16:39:17Z New Revision: 1fdb3e36ff379e5b3b05a00d49b6081435df727a URL: https://github.com/llvm/llvm-project/commit/1fdb3e36ff379e5b3b05a00d49b6081435df727a DIFF: https://github.com/llvm/llvm-project/commit/1fdb3e36ff379e5b3b05a00d49b6081435df727a.diff LOG: a

[clang] d2e32fa - [libTooling] Add support for implicit `this` to `buildAddressOf`.

Author: Yitzhak Mandelbaum Date: 2021-07-07T17:35:04Z New Revision: d2e32fa493a272c21dee2c6cbf52e501f9ee3908 URL: https://github.com/llvm/llvm-project/commit/d2e32fa493a272c21dee2c6cbf52e501f9ee3908 DIFF: https://github.com/llvm/llvm-project/commit/d2e32fa493a272c21dee2c6cbf52e501f9ee3908.diff

[clang] 93dc73b - [Lexer] Fix bug in `makeFileCharRange` called on split tokens.

Author: Yitzhak Mandelbaum Date: 2021-07-14T14:36:31Z New Revision: 93dc73b1e0f31c712e5b8bbac14491ce55c414ad URL: https://github.com/llvm/llvm-project/commit/93dc73b1e0f31c712e5b8bbac14491ce55c414ad DIFF: https://github.com/llvm/llvm-project/commit/93dc73b1e0f31c712e5b8bbac14491ce55c414ad.diff

[clang-tools-extra] 16b07c8 - [clang-tidy] Add check for initialization of `absl::Cleanup`.

Author: CJ Johnson Date: 2021-11-08T15:57:32Z New Revision: 16b07c866ae74e0d02038574fe1c37a6cb55e233 URL: https://github.com/llvm/llvm-project/commit/16b07c866ae74e0d02038574fe1c37a6cb55e233 DIFF: https://github.com/llvm/llvm-project/commit/16b07c866ae74e0d02038574fe1c37a6cb55e233.diff LOG: [c

[clang] c0b298f - Add `LambdaCapture`-related matchers.

Author: James King Date: 2021-11-08T18:50:54Z New Revision: c0b298fc213c1b33e97ca72fba58597365375875 URL: https://github.com/llvm/llvm-project/commit/c0b298fc213c1b33e97ca72fba58597365375875 DIFF: https://github.com/llvm/llvm-project/commit/c0b298fc213c1b33e97ca72fba58597365375875.diff LOG: Ad

[clang-tools-extra] 8188484 - [clang-apply-replacements] Correctly handle relative paths

Author: Adrian Vogelsgesang Date: 2021-11-11T18:28:43Z New Revision: 8188484daa4195a2c8b5253765036fa2c6da7263 URL: https://github.com/llvm/llvm-project/commit/8188484daa4195a2c8b5253765036fa2c6da7263 DIFF: https://github.com/llvm/llvm-project/commit/8188484daa4195a2c8b5253765036fa2c6da7263.diff

[clang] 9809c6c - Add `isInitCapture` and `forEachLambdaCapture` matchers.

Author: James King Date: 2021-11-15T22:55:28Z New Revision: 9809c6c61cebbfcd100a3afd30fc9009f68d4678 URL: https://github.com/llvm/llvm-project/commit/9809c6c61cebbfcd100a3afd30fc9009f68d4678 DIFF: https://github.com/llvm/llvm-project/commit/9809c6c61cebbfcd100a3afd30fc9009f68d4678.diff LOG: Ad

[clang] 2b49484 - Add a clang-transformer tutorial

Author: Yitzhak Mandelbaum Date: 2021-11-17T13:40:46Z New Revision: 2b4948448f03104b4b957860dd8c019d0b9df2f0 URL: https://github.com/llvm/llvm-project/commit/2b4948448f03104b4b957860dd8c019d0b9df2f0 DIFF: https://github.com/llvm/llvm-project/commit/2b4948448f03104b4b957860dd8c019d0b9df2f0.diff

[clang] ccd729f - [NFC] Update comments to refer to unique_ptr instead of raw pointers.

Author: Yitzhak Mandelbaum Date: 2021-11-17T21:08:09Z New Revision: ccd729faa5d46a2656fa2b889f4339d399fca070 URL: https://github.com/llvm/llvm-project/commit/ccd729faa5d46a2656fa2b889f4339d399fca070 DIFF: https://github.com/llvm/llvm-project/commit/ccd729faa5d46a2656fa2b889f4339d399fca070.diff

[clang] 6e2aecd - [clang][dataflow] Add base types for building dataflow analyses

Author: Stanislav Gatev Date: 2021-11-30T14:44:40Z New Revision: 6e2aecd759dc3f8bf664323388365ac234271e9b URL: https://github.com/llvm/llvm-project/commit/6e2aecd759dc3f8bf664323388365ac234271e9b DIFF: https://github.com/llvm/llvm-project/commit/6e2aecd759dc3f8bf664323388365ac234271e9b.diff LO

[clang] 3e32f82 - [clang][dataflow] Fix broken build in ClangStaticAnalyzer

Author: Yitzhak Mandelbaum Date: 2021-11-30T15:31:49Z New Revision: 3e32f827e2647b6fa8022cbc76eac384b3c4e2b4 URL: https://github.com/llvm/llvm-project/commit/3e32f827e2647b6fa8022cbc76eac384b3c4e2b4 DIFF: https://github.com/llvm/llvm-project/commit/3e32f827e2647b6fa8022cbc76eac384b3c4e2b4.diff

[clang-tools-extra] 6a9487d - Add new clang-tidy check for string_view(nullptr)

Author: CJ Johnson Date: 2021-12-02T13:25:28Z New Revision: 6a9487df73e917c4faf5e060f2bb33c6ade3f967 URL: https://github.com/llvm/llvm-project/commit/6a9487df73e917c4faf5e060f2bb33c6ade3f967 DIFF: https://github.com/llvm/llvm-project/commit/6a9487df73e917c4faf5e060f2bb33c6ade3f967.diff LOG: Ad

[clang] 4e9e2f2 - Fix documentation for `forEachLambdaCapture` and `hasAnyCapture`

Author: James King Date: 2021-12-02T13:28:05Z New Revision: 4e9e2f24178077d7055c0f667d13f887fef508d5 URL: https://github.com/llvm/llvm-project/commit/4e9e2f24178077d7055c0f667d13f887fef508d5 DIFF: https://github.com/llvm/llvm-project/commit/4e9e2f24178077d7055c0f667d13f887fef508d5.diff LOG: Fi

[clang-tools-extra] c006ea6 - [clang-tidy] Fix build broken by commit 6a9487df73e917c4faf5e060f2bb33c6ade3f967 (D113148)

Author: Yitzhak Mandelbaum Date: 2021-12-02T14:41:00Z New Revision: c006ea6bde234153abadc8927557da9b8e0dc029 URL: https://github.com/llvm/llvm-project/commit/c006ea6bde234153abadc8927557da9b8e0dc029 DIFF: https://github.com/llvm/llvm-project/commit/c006ea6bde234153abadc8927557da9b8e0dc029.diff

[clang-tools-extra] 081074e - [clang-tidy] Allow disabling support for NOLINTBEGIN/NOLINTEND blocks.

Author: Yitzhak Mandelbaum Date: 2021-12-02T22:19:05Z New Revision: 081074e1ea5353a3775591f7306b6fb6da02b004 URL: https://github.com/llvm/llvm-project/commit/081074e1ea5353a3775591f7306b6fb6da02b004 DIFF: https://github.com/llvm/llvm-project/commit/081074e1ea5353a3775591f7306b6fb6da02b004.diff

[clang] 8cadac4 - [clang][dataflow] Add equivalence relation `Value` type.

Author: Yitzhak Mandelbaum Date: 2022-10-19T12:23:09Z New Revision: 8cadac41e9f63b2494805042573792cc2cc2a8ea URL: https://github.com/llvm/llvm-project/commit/8cadac41e9f63b2494805042573792cc2cc2a8ea DIFF: https://github.com/llvm/llvm-project/commit/8cadac41e9f63b2494805042573792cc2cc2a8ea.diff

[clang] 0b12efc - [clang][dataflow] Add support for nested method calls.

Author: Yitzhak Mandelbaum Date: 2022-09-22T19:16:31Z New Revision: 0b12efc7a42c187400f7df18d5fd629d92d2747e URL: https://github.com/llvm/llvm-project/commit/0b12efc7a42c187400f7df18d5fd629d92d2747e DIFF: https://github.com/llvm/llvm-project/commit/0b12efc7a42c187400f7df18d5fd629d92d2747e.diff

[clang-tools-extra] 9a4e52e - [clang-tidy] Add an IgnoreMacros option to readability-avoid-const-params-in-decls

Author: Yitzhak Mandelbaum Date: 2022-09-30T14:27:02Z New Revision: 9a4e52ebeb6dd8527bc1ee944a9466d68a95b6f1 URL: https://github.com/llvm/llvm-project/commit/9a4e52ebeb6dd8527bc1ee944a9466d68a95b6f1 DIFF: https://github.com/llvm/llvm-project/commit/9a4e52ebeb6dd8527bc1ee944a9466d68a95b6f1.diff

[clang-tools-extra] 40f5c63 - [NFC] Fix for doc typo in commit 9a4e52ebeb6d

Author: Yitzhak Mandelbaum Date: 2022-09-30T14:53:18Z New Revision: 40f5c634bc991510427e274ba49d4c56f29ef593 URL: https://github.com/llvm/llvm-project/commit/40f5c634bc991510427e274ba49d4c56f29ef593 DIFF: https://github.com/llvm/llvm-project/commit/40f5c634bc991510427e274ba49d4c56f29ef593.diff

[clang] 39b9d4f - [clang][dataflow] Add support for a Top value in boolean formulas.

Author: Yitzhak Mandelbaum Date: 2022-10-14T17:41:53Z New Revision: 39b9d4f188ca1f99515658334d57c2961db33289 URL: https://github.com/llvm/llvm-project/commit/39b9d4f188ca1f99515658334d57c2961db33289 DIFF: https://github.com/llvm/llvm-project/commit/39b9d4f188ca1f99515658334d57c2961db33289.diff

[clang] 13cd184 - [clang-dataflow][NFC] Mark test analysis classes as `final`.

Author: Yitzhak Mandelbaum Date: 2022-10-14T17:51:57Z New Revision: 13cd184ef7fa9d76deaffb1924521fa914edba5e URL: https://github.com/llvm/llvm-project/commit/13cd184ef7fa9d76deaffb1924521fa914edba5e DIFF: https://github.com/llvm/llvm-project/commit/13cd184ef7fa9d76deaffb1924521fa914edba5e.diff

[clang] 7da0879 - [clang][dataflow][NFC] Fix reachability warning.

Author: Yitzhak Mandelbaum Date: 2022-10-14T19:35:11Z New Revision: 7da087974f9491855eea0087c657851a84c67b75 URL: https://github.com/llvm/llvm-project/commit/7da087974f9491855eea0087c657851a84c67b75 DIFF: https://github.com/llvm/llvm-project/commit/7da087974f9491855eea0087c657851a84c67b75.diff

[clang] a18cf8d - [clang][dataflow] Remove stray lines from `Environment::join`

Author: Yitzhak Mandelbaum Date: 2022-12-19T15:28:30Z New Revision: a18cf8d14f5552c13bd1cef112ba5b88a7fc75ff URL: https://github.com/llvm/llvm-project/commit/a18cf8d14f5552c13bd1cef112ba5b88a7fc75ff DIFF: https://github.com/llvm/llvm-project/commit/a18cf8d14f5552c13bd1cef112ba5b88a7fc75ff.diff

[clang] d2e4aaf - [clang][dataflow][NFC] Fix comments related to widening.

Author: Yitzhak Mandelbaum Date: 2022-12-19T21:01:27Z New Revision: d2e4aaf6ac3bc7c72a81f050512afa17a9ceb54b URL: https://github.com/llvm/llvm-project/commit/d2e4aaf6ac3bc7c72a81f050512afa17a9ceb54b DIFF: https://github.com/llvm/llvm-project/commit/d2e4aaf6ac3bc7c72a81f050512afa17a9ceb54b.diff

[clang] 0e8d4a6 - [clang][dataflow] Simplify handling of nullopt-optionals.

Author: Yitzhak Mandelbaum Date: 2022-12-22T14:19:49Z New Revision: 0e8d4a6df9598cf0d654c24bbd3901bfb77d91bb URL: https://github.com/llvm/llvm-project/commit/0e8d4a6df9598cf0d654c24bbd3901bfb77d91bb DIFF: https://github.com/llvm/llvm-project/commit/0e8d4a6df9598cf0d654c24bbd3901bfb77d91bb.diff

[clang] f3700bd - [clang][dataflow] Account for global variables in constructor initializers.

Author: Yitzhak Mandelbaum Date: 2022-12-22T14:20:50Z New Revision: f3700bdb7f00d4f2652a7bdc6a99130e8a1b3c59 URL: https://github.com/llvm/llvm-project/commit/f3700bdb7f00d4f2652a7bdc6a99130e8a1b3c59 DIFF: https://github.com/llvm/llvm-project/commit/f3700bdb7f00d4f2652a7bdc6a99130e8a1b3c59.diff

[clang] 38404df - [clang][dataflow] Fix bug in handling of `return` statements.

Author: Yitzhak Mandelbaum Date: 2022-12-22T14:42:17Z New Revision: 38404df9d879483784a7024b2b4a366388d6d476 URL: https://github.com/llvm/llvm-project/commit/38404df9d879483784a7024b2b4a366388d6d476 DIFF: https://github.com/llvm/llvm-project/commit/38404df9d879483784a7024b2b4a366388d6d476.diff

[clang] 0086a35 - [clang][dataflow] Fix bug in optional-checker's handling of nullopt constructor.

Author: Yitzhak Mandelbaum Date: 2023-01-03T21:57:39Z New Revision: 0086a3555ac6cd76bb637252a0ba17c06c9b869b URL: https://github.com/llvm/llvm-project/commit/0086a3555ac6cd76bb637252a0ba17c06c9b869b DIFF: https://github.com/llvm/llvm-project/commit/0086a3555ac6cd76bb637252a0ba17c06c9b869b.diff

[clang] 5e8f597 - [clang][dataflow] Only model struct fields that are used in the function being analyzed.

Author: Yitzhak Mandelbaum Date: 2023-01-05T21:46:39Z New Revision: 5e8f597c2fedc740b71f07dfdb1ef3c2d348b193 URL: https://github.com/llvm/llvm-project/commit/5e8f597c2fedc740b71f07dfdb1ef3c2d348b193 DIFF: https://github.com/llvm/llvm-project/commit/5e8f597c2fedc740b71f07dfdb1ef3c2d348b193.diff

[clang] 2b1a517 - Revert "[clang][dataflow] Only model struct fields that are used in the function being analyzed."

Author: Yitzhak Mandelbaum Date: 2023-01-06T01:07:28Z New Revision: 2b1a517a92bfdfa3b692a660e19a2bb22513a567 URL: https://github.com/llvm/llvm-project/commit/2b1a517a92bfdfa3b692a660e19a2bb22513a567 DIFF: https://github.com/llvm/llvm-project/commit/2b1a517a92bfdfa3b692a660e19a2bb22513a567.diff

[clang] 01ccf7b - Revert "Revert "[clang][dataflow] Only model struct fields that are used in the function being analyzed.""

Author: Yitzhak Mandelbaum Date: 2023-01-09T19:32:10Z New Revision: 01ccf7b3cee58dbe02fd97696cae1781746b6137 URL: https://github.com/llvm/llvm-project/commit/01ccf7b3cee58dbe02fd97696cae1781746b6137 DIFF: https://github.com/llvm/llvm-project/commit/01ccf7b3cee58dbe02fd97696cae1781746b6137.diff

[clang] 264976d - [clang][dataflow] Unify `TransferOptions` and `DataflowAnalysisContext::Options`.

Author: Yitzhak Mandelbaum Date: 2023-01-10T14:17:25Z New Revision: 264976d98e785fa061ce6ac06db4a9bda2590506 URL: https://github.com/llvm/llvm-project/commit/264976d98e785fa061ce6ac06db4a9bda2590506 DIFF: https://github.com/llvm/llvm-project/commit/264976d98e785fa061ce6ac06db4a9bda2590506.diff

[clang] 089a544 - [clang][dataflow][NFC] Refine names and comments for field filtering.

Author: Yitzhak Mandelbaum Date: 2023-01-10T14:28:45Z New Revision: 089a54469f63c2f3c4b9d79fb9694f21bef0d071 URL: https://github.com/llvm/llvm-project/commit/089a54469f63c2f3c4b9d79fb9694f21bef0d071 DIFF: https://github.com/llvm/llvm-project/commit/089a54469f63c2f3c4b9d79fb9694f21bef0d071.diff

[clang] 3ce03c4 - [clang][dataflow] Fix 2 bugs in `MemberExpr` interpretation.

Author: Yitzhak Mandelbaum Date: 2023-01-10T15:48:00Z New Revision: 3ce03c42dbb46531968c527d80c0243c2db7bc0e URL: https://github.com/llvm/llvm-project/commit/3ce03c42dbb46531968c527d80c0243c2db7bc0e DIFF: https://github.com/llvm/llvm-project/commit/3ce03c42dbb46531968c527d80c0243c2db7bc0e.diff

[clang] c072586 - [clang][dataflow] Generalize custom comparison to return tri-value result.

Author: Yitzhak Mandelbaum Date: 2022-11-03T23:31:20Z New Revision: c0725865b188f71f904ecd4dac56ef37268b30d2 URL: https://github.com/llvm/llvm-project/commit/c0725865b188f71f904ecd4dac56ef37268b30d2 DIFF: https://github.com/llvm/llvm-project/commit/c0725865b188f71f904ecd4dac56ef37268b30d2.diff

[clang-tools-extra] f3afd16 - [clang-tidy] Ignore overriden methods in `readability-const-return-type`.

Author: Thomas Etter Date: 2022-11-15T14:24:05Z New Revision: f3afd16b65ebda19e417120acf3c3793c171cf5e URL: https://github.com/llvm/llvm-project/commit/f3afd16b65ebda19e417120acf3c3793c171cf5e DIFF: https://github.com/llvm/llvm-project/commit/f3afd16b65ebda19e417120acf3c3793c171cf5e.diff LOG:

[clang-tools-extra] a49fcca - [clang-tidy] Optionally ignore findings in macros in `readability-const-return-type`.

Author: Thomas Etter Date: 2022-11-15T14:28:03Z New Revision: a49fcca9e3ec9e310312416599405d26c189a81b URL: https://github.com/llvm/llvm-project/commit/a49fcca9e3ec9e310312416599405d26c189a81b DIFF: https://github.com/llvm/llvm-project/commit/a49fcca9e3ec9e310312416599405d26c189a81b.diff LOG:

[clang-tools-extra] 8003c1d - [clang-tidy] Fix misc-unused-using-decls for user-defined literals

Author: v1nh1shungry Date: 2022-11-17T22:47:15Z New Revision: 8003c1d61e69142cb6e87df719c17f3c4ad86c98 URL: https://github.com/llvm/llvm-project/commit/8003c1d61e69142cb6e87df719c17f3c4ad86c98 DIFF: https://github.com/llvm/llvm-project/commit/8003c1d61e69142cb6e87df719c17f3c4ad86c98.diff LOG:

[clang] b84ac96 - [clang][dataflow] Fix bug in handling of reference-typed fields.

Author: Yitzhak Mandelbaum Date: 2023-01-24T16:10:50Z New Revision: b84ac96a35c72420b45db6385f83a5e0c516349f URL: https://github.com/llvm/llvm-project/commit/b84ac96a35c72420b45db6385f83a5e0c516349f DIFF: https://github.com/llvm/llvm-project/commit/b84ac96a35c72420b45db6385f83a5e0c516349f.diff

[clang] 0256280 - [clang][dataflow] Fix handling of `DeclRefExpr`s to `BindingDecl`s.

Author: Yitzhak Mandelbaum Date: 2023-02-01T13:23:23Z New Revision: 02562804d074a4d6e041e00572483fe25932186e URL: https://github.com/llvm/llvm-project/commit/02562804d074a4d6e041e00572483fe25932186e DIFF: https://github.com/llvm/llvm-project/commit/02562804d074a4d6e041e00572483fe25932186e.diff

[clang] d4fb829 - [clang][dataflow] Relax validity assumptions in `UncheckedOptionalAccessModel`.

Author: Yitzhak Mandelbaum Date: 2023-02-01T15:57:09Z New Revision: d4fb829b718059eb044843aea7b03d5b65556351 URL: https://github.com/llvm/llvm-project/commit/d4fb829b718059eb044843aea7b03d5b65556351 DIFF: https://github.com/llvm/llvm-project/commit/d4fb829b718059eb044843aea7b03d5b65556351.diff

[clang] d34fbf2 - [clang][dataflow] In optional model, implement `widen` and make `compare` sound.

Author: Yitzhak Mandelbaum Date: 2023-01-12T20:36:37Z New Revision: d34fbf2d9bf4d372d25087d2ded9573b17ce7632 URL: https://github.com/llvm/llvm-project/commit/d34fbf2d9bf4d372d25087d2ded9573b17ce7632 DIFF: https://github.com/llvm/llvm-project/commit/d34fbf2d9bf4d372d25087d2ded9573b17ce7632.diff

[clang] c441f65 - [clang][dataflow] Add (initial) debug printing for `Value` and `Environment`.

Author: Yitzhak Mandelbaum Date: 2023-01-19T14:33:32Z New Revision: c441f65f9183a4d1d7f5ecc63b4e32a42e09367e URL: https://github.com/llvm/llvm-project/commit/c441f65f9183a4d1d7f5ecc63b4e32a42e09367e DIFF: https://github.com/llvm/llvm-project/commit/c441f65f9183a4d1d7f5ecc63b4e32a42e09367e.diff

[clang] daa316b - [clang][dataflow] Fix bug in joining bool values.

Author: Yitzhak Mandelbaum Date: 2023-01-19T15:59:06Z New Revision: daa316bcaf717e1dacdfee443f2c325a783d2c70 URL: https://github.com/llvm/llvm-project/commit/daa316bcaf717e1dacdfee443f2c325a783d2c70 DIFF: https://github.com/llvm/llvm-project/commit/daa316bcaf717e1dacdfee443f2c325a783d2c70.diff

[clang-tools-extra] 9a11b23 - readability-const-return-type: don't diagnose a template function returning T, even if sometimes instantiated with e.g. T = const int.

Author: Andy Getzendanner Date: 2023-01-23T22:08:12Z New Revision: 9a11b23c0238ebfa0210ce89dee97f68ae3dfbd4 URL: https://github.com/llvm/llvm-project/commit/9a11b23c0238ebfa0210ce89dee97f68ae3dfbd4 DIFF: https://github.com/llvm/llvm-project/commit/9a11b23c0238ebfa0210ce89dee97f68ae3dfbd4.diff

[clang] cd0d526 - [clang][dataflow] In `optional` model, match call return via hasType

Author: Sam Estep Date: 2022-06-10T14:52:05Z New Revision: cd0d52610d80116324f19983320ec6db2048450f URL: https://github.com/llvm/llvm-project/commit/cd0d52610d80116324f19983320ec6db2048450f DIFF: https://github.com/llvm/llvm-project/commit/cd0d52610d80116324f19983320ec6db2048450f.diff LOG: [cl

[clang] a9ad689 - [clang][dataflow] Don't `assert` full LHS coverage in `optional` model

Author: Sam Estep Date: 2022-06-10T19:10:20Z New Revision: a9ad689e352dd1037f947dacc7d01c091b67e00c URL: https://github.com/llvm/llvm-project/commit/a9ad689e352dd1037f947dacc7d01c091b67e00c DIFF: https://github.com/llvm/llvm-project/commit/a9ad689e352dd1037f947dacc7d01c091b67e00c.diff LOG: [cl

[clang] 6eb9e0f - [clang][dataflow] Make limit on fixpoint-algorithm iterations proportional to size of CFG.

Author: Yitzhak Mandelbaum Date: 2022-05-24T20:13:55Z New Revision: 6eb9e0f5ebb94cccf52ea27aa342001b84c1c8b1 URL: https://github.com/llvm/llvm-project/commit/6eb9e0f5ebb94cccf52ea27aa342001b84c1c8b1 DIFF: https://github.com/llvm/llvm-project/commit/6eb9e0f5ebb94cccf52ea27aa342001b84c1c8b1.diff

[clang] 2f93bbb - [clang][dataflow] Relax `Environment` comparison operation.

Author: Yitzhak Mandelbaum Date: 2022-05-24T20:58:18Z New Revision: 2f93bbb9cd7c20ea1a273cf652d852d4b641f94a URL: https://github.com/llvm/llvm-project/commit/2f93bbb9cd7c20ea1a273cf652d852d4b641f94a DIFF: https://github.com/llvm/llvm-project/commit/2f93bbb9cd7c20ea1a273cf652d852d4b641f94a.diff

[clang] 67136d0 - [clang][dataflow] Remove private-field filtering from `StorageLocation` creation.

Author: Yitzhak Mandelbaum Date: 2022-05-27T13:39:53Z New Revision: 67136d0e8fb57251dece4be0907414fdbe081f7a URL: https://github.com/llvm/llvm-project/commit/67136d0e8fb57251dece4be0907414fdbe081f7a DIFF: https://github.com/llvm/llvm-project/commit/67136d0e8fb57251dece4be0907414fdbe081f7a.diff

[clang] 3682e22 - [clang][dataflow] Improve handling of constructor initializers.

Author: Yitzhak Mandelbaum Date: 2022-05-27T13:54:11Z New Revision: 3682e22ef404e1314ee1eab9daf6de99dc9ea8ee URL: https://github.com/llvm/llvm-project/commit/3682e22ef404e1314ee1eab9daf6de99dc9ea8ee DIFF: https://github.com/llvm/llvm-project/commit/3682e22ef404e1314ee1eab9daf6de99dc9ea8ee.diff

[clang] 6adfc64 - [clang][dataflow] Modify `optional` model to handle type aliases.

Author: Yitzhak Mandelbaum Date: 2022-06-03T18:57:43Z New Revision: 6adfc64e709cc8b7b7a06b0e9afc60f6903f3cab URL: https://github.com/llvm/llvm-project/commit/6adfc64e709cc8b7b7a06b0e9afc60f6903f3cab DIFF: https://github.com/llvm/llvm-project/commit/6adfc64e709cc8b7b7a06b0e9afc60f6903f3cab.diff

[clang] dcb4950 - [clang][dataflow][NFC] Fix filename typos in tests

Author: Sam Estep Date: 2022-06-07T19:20:20Z New Revision: dcb4950d5b5bd025fe436cfdc6db3d366a11299c URL: https://github.com/llvm/llvm-project/commit/dcb4950d5b5bd025fe436cfdc6db3d366a11299c DIFF: https://github.com/llvm/llvm-project/commit/dcb4950d5b5bd025fe436cfdc6db3d366a11299c.diff LOG: [cl

[clang] 9d6d069 - Add a parameter to LoadFromASTFile that accepts a file system and defaults to the real file-system.

Author: Andy Soffer Date: 2022-06-08T15:37:52Z New Revision: 9d6d069f4e9a6dd6882aaf896f73f234b3dd7194 URL: https://github.com/llvm/llvm-project/commit/9d6d069f4e9a6dd6882aaf896f73f234b3dd7194 DIFF: https://github.com/llvm/llvm-project/commit/9d6d069f4e9a6dd6882aaf896f73f234b3dd7194.diff LOG: A

[clang] dd38caf - [clang][dataflow] Track `optional` contents in `optional` model.

Author: Yitzhak Mandelbaum Date: 2022-06-09T14:17:39Z New Revision: dd38caf3b5b724c1f84998c1ae105f709c3ed405 URL: https://github.com/llvm/llvm-project/commit/dd38caf3b5b724c1f84998c1ae105f709c3ed405 DIFF: https://github.com/llvm/llvm-project/commit/dd38caf3b5b724c1f84998c1ae105f709c3ed405.diff

[clang] [clang][dataflow] Reorder checks to protect against a null pointer dereference. (PR #66764)

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

[clang] 1defa78 - [clang][dataflow] Add function to `WatchedLiteralsSolver` that reports whether the iteration limit has been reached.

Author: Yitzhak Mandelbaum Date: 2023-07-18T21:43:55Z New Revision: 1defa781243f9d0bc66719465e4de33e9fb7a243 URL: https://github.com/llvm/llvm-project/commit/1defa781243f9d0bc66719465e4de33e9fb7a243 DIFF: https://github.com/llvm/llvm-project/commit/1defa781243f9d0bc66719465e4de33e9fb7a243.diff

[clang] 1429240 - [clang][dataflow] Add convenience function for analysing and `FunctionDecl` and diagnosing it.

Author: Yitzhak Mandelbaum Date: 2023-07-26T17:12:29Z New Revision: 1429240ed63b05991e175e623b3fa5b72e59dc5b URL: https://github.com/llvm/llvm-project/commit/1429240ed63b05991e175e623b3fa5b72e59dc5b DIFF: https://github.com/llvm/llvm-project/commit/1429240ed63b05991e175e623b3fa5b72e59dc5b.diff

[clang] e9570d1 - [clang-tidy] Update unchecked-optiona-access-check to use convenience function for diagnosing `FunctionDecl`s.

Author: Yitzhak Mandelbaum Date: 2023-07-26T17:12:29Z New Revision: e9570d1e59ba381ea55327b5cbed0b5bc05677fe URL: https://github.com/llvm/llvm-project/commit/e9570d1e59ba381ea55327b5cbed0b5bc05677fe DIFF: https://github.com/llvm/llvm-project/commit/e9570d1e59ba381ea55327b5cbed0b5bc05677fe.diff

Re: [PATCH] D156254: [clang][dataflow] Add convenience function for analysing and `FunctionDecl` and diagnosing it.

This broke one of the builds. https://lab.llvm.org/buildbot/#/builders/121/builds/32939/steps/4/logs/stdio. Working on a fix now. On Wed, Jul 26, 2023 at 1:12 PM Yitzhak Mandelbaum via Phabricator < revi...@reviews.llvm.org> wrote: > This revision was landed with ongoing or failed builds. > This

[clang] 75abfa2 - Fix build breakages in rG1429240ed63b.

Author: Yitzhak Mandelbaum Date: 2023-07-26T17:37:05Z New Revision: 75abfa2474da663f22e33e63d34bb843ef01d12b URL: https://github.com/llvm/llvm-project/commit/75abfa2474da663f22e33e63d34bb843ef01d12b DIFF: https://github.com/llvm/llvm-project/commit/75abfa2474da663f22e33e63d34bb843ef01d12b.diff

[clang] 26db5e6 - [clang][CFG] Support construction of a weak topological ordering of the CFG.

Author: Yitzhak Mandelbaum Date: 2023-07-27T18:40:59Z New Revision: 26db5e651bb65287b57a9ca84388d61d8b3305c9 URL: https://github.com/llvm/llvm-project/commit/26db5e651bb65287b57a9ca84388d61d8b3305c9 DIFF: https://github.com/llvm/llvm-project/commit/26db5e651bb65287b57a9ca84388d61d8b3305c9.diff

[clang] [clang][dataflow] Add support for lambda captures (PR #68558)

@@ -5987,4 +6018,204 @@ TEST(TransferTest, EvaluateBlockWithUnreachablePreds) { ASTContext &ASTCtx) {}); } +TEST(TransferTest, LambdaCaptureByCopy) { + std::string Code = R"( +void target(int Foo, int Bar) { + [Foo]() { +(void)0; +// [[p]] +

[clang] [clang][dataflow] Add support for lambda captures (PR #68558)

https://github.com/ymand requested changes to this pull request. https://github.com/llvm/llvm-project/pull/68558 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang][dataflow] Add support for lambda captures (PR #68558)

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

[clang] [clang][dataflow] Add support for lambda captures (PR #68558)

@@ -3214,6 +3220,117 @@ TEST_P(UncheckedOptionalAccessTest, Bitfield) { } )"); } + +TEST_P(UncheckedOptionalAccessTest, Lambda) { ymand wrote: Please split these into individual tests. https://github.com/llvm/llvm-project/pull/68558

[clang-tools-extra] [clang][dataflow]Use cast_or_null instead cast to prevent crash (PR #68510)

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

[clang] [clang][dataflow]Use cast_or_null instead cast to prevent crash (PR #68510)

@@ -180,3 +180,44 @@ void std_forward_rvalue_ref_safe(absl::optional&& opt) { std::forward>(opt).value(); } + +namespace std { + +template +class optional { +public: + template + optional& operator=(const U &u){ + data = u; + } +private: + T dat

[clang] [clang][dataflow]Use cast_or_null instead cast to prevent crash (PR #68510)

@@ -180,3 +180,44 @@ void std_forward_rvalue_ref_safe(absl::optional&& opt) { std::forward>(opt).value(); } + +namespace std { + +template +class optional { +public: + template + optional& operator=(const U &u){ + data = u; + } +private: + T dat

[clang] [clang][dataflow]Use cast_or_null instead cast to prevent crash (PR #68510)

@@ -180,3 +180,44 @@ void std_forward_rvalue_ref_safe(absl::optional&& opt) { std::forward>(opt).value(); } + +namespace std { + +template +class optional { +public: + template + optional& operator=(const U &u){ ymand wrote: The issue isn't specifi

[clang-tools-extra] [clang][dataflow]Use cast_or_null instead cast to prevent crash (PR #68510)

@@ -180,3 +180,44 @@ void std_forward_rvalue_ref_safe(absl::optional&& opt) { std::forward>(opt).value(); } + +namespace std { + +template +class optional { +public: + template + optional& operator=(const U &u){ + data = u; + } +private: + T dat

[clang-tools-extra] [clang][dataflow]Use cast_or_null instead cast to prevent crash (PR #68510)

https://github.com/ymand requested changes to this pull request. Thanks for this fix! Unfortunately, I wasn't able to repro the crash in godbolt: https://godbolt.org/z/s741z5djY. Can you double check that the check crashes on that example without your fix? https://github.com/llvm/llvm-project

[clang] [clang][dataflow]Use cast_or_null instead cast to prevent crash (PR #68510)

@@ -180,3 +180,44 @@ void std_forward_rvalue_ref_safe(absl::optional&& opt) { std::forward>(opt).value(); } + +namespace std { + +template +class optional { +public: + template + optional& operator=(const U &u){ + data = u; + } +private: + T dat

[clang-tools-extra] [clang][dataflow]Use cast_or_null instead cast to prevent crash (PR #68510)

@@ -180,3 +180,44 @@ void std_forward_rvalue_ref_safe(absl::optional&& opt) { std::forward>(opt).value(); } + +namespace std { + +template +class optional { +public: + template + optional& operator=(const U &u){ + data = u; + } +private: + T dat

<    1   2   3   4   5   6   7   >