[clang] 3214f7b - Revert "[clang][dataflow] Show triangle in `` element. (#67431)"

2023-09-28 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-09-28T09:07:20Z New Revision: 3214f7bf6c6f1218404584b6c36bd3d4033eb22d URL: https://github.com/llvm/llvm-project/commit/3214f7bf6c6f1218404584b6c36bd3d4033eb22d DIFF: https://github.com/llvm/llvm-project/commit/3214f7bf6c6f1218404584b6c36bd3d4033eb22d.diff LOG

[clang] f9026cf - [clang][dataflow] Fix Record initialization with InitListExpr and inheritances

2023-09-07 Thread Martin Braenne via cfe-commits
Author: Kinuko Yasuda Date: 2023-09-07T07:37:50Z New Revision: f9026cfb7680e2c2a4c8c91dd33f710ea1d321a3 URL: https://github.com/llvm/llvm-project/commit/f9026cfb7680e2c2a4c8c91dd33f710ea1d321a3 DIFF: https://github.com/llvm/llvm-project/commit/f9026cfb7680e2c2a4c8c91dd33f710ea1d321a3.diff LOG:

[clang] b50c87d - [clang][dataflow] #llvm #flow-analysis Simplify formula at CNF construction time, and short-cut solving of known contradictory formulas.

2023-09-04 Thread Martin Braenne via cfe-commits
Author: Burak Emir Date: 2023-09-05T06:23:04Z New Revision: b50c87d1e63f187105b5b73f7add37717ccce7f6 URL: https://github.com/llvm/llvm-project/commit/b50c87d1e63f187105b5b73f7add37717ccce7f6 DIFF: https://github.com/llvm/llvm-project/commit/b50c87d1e63f187105b5b73f7add37717ccce7f6.diff LOG: [c

[clang] bf46b0b - [clang][dataflow] Eliminate deprecated `ControlFlowContext::build()` overload.

2023-09-04 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-09-04T08:30:54Z New Revision: bf46b0b551011d958ae642f808894311513517ef URL: https://github.com/llvm/llvm-project/commit/bf46b0b551011d958ae642f808894311513517ef DIFF: https://github.com/llvm/llvm-project/commit/bf46b0b551011d958ae642f808894311513517ef.diff LOG

[clang] d948d91 - [clang][dataflow] Remove deprecated synonyms related to `RecordStorageLocation` and `RecordValue`

2023-09-04 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-09-04T08:18:43Z New Revision: d948d9121f104f06b47361528289030a28e1e044 URL: https://github.com/llvm/llvm-project/commit/d948d9121f104f06b47361528289030a28e1e044 DIFF: https://github.com/llvm/llvm-project/commit/d948d9121f104f06b47361528289030a28e1e044.diff LOG

[clang] 266c12a - [clang][dataflow] When dumping `ExprToVal`, dump the `Value`, not just its location.

2023-09-04 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-09-04T07:38:33Z New Revision: 266c12a1bd603fa3ecbf26a6f93621f0f8488da1 URL: https://github.com/llvm/llvm-project/commit/266c12a1bd603fa3ecbf26a6f93621f0f8488da1 DIFF: https://github.com/llvm/llvm-project/commit/266c12a1bd603fa3ecbf26a6f93621f0f8488da1.diff LOG

[clang] 37458c6 - [clang][dataflow] Eliminate deprecated `DataflowAnalysis` constructor.

2023-09-04 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-09-04T07:00:11Z New Revision: 37458c66bfefaa4f4cb40043cb88413e5b826e3f URL: https://github.com/llvm/llvm-project/commit/37458c66bfefaa4f4cb40043cb88413e5b826e3f DIFF: https://github.com/llvm/llvm-project/commit/37458c66bfefaa4f4cb40043cb88413e5b826e3f.diff LOG

[clang] 6eb1b23 - [clang][dataflow][NFC] Remove obsolete references to `ReferenceValue` from comments.

2023-08-29 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-08-30T06:55:40Z New Revision: 6eb1b237f5eca0f9b16b66a1f4e8964554027e38 URL: https://github.com/llvm/llvm-project/commit/6eb1b237f5eca0f9b16b66a1f4e8964554027e38 DIFF: https://github.com/llvm/llvm-project/commit/6eb1b237f5eca0f9b16b66a1f4e8964554027e38.diff LOG

[clang] 330d5bc - [clang][dataflow] Don't associate prvalue expressions with storage locations.

2023-08-29 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-08-29T07:28:46Z New Revision: 330d5bcbf61043b5ca2bf5a65bd4488718c85e6e URL: https://github.com/llvm/llvm-project/commit/330d5bcbf61043b5ca2bf5a65bd4488718c85e6e DIFF: https://github.com/llvm/llvm-project/commit/330d5bcbf61043b5ca2bf5a65bd4488718c85e6e.diff LOG

[clang] aef05a1 - [clang][dataflow][NFC] Eliminate `getStorageLocation()` / `setStorageLocation()` in `DataflowAnalysisContext`.

2023-08-28 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-08-29T06:53:48Z New Revision: aef05a12329cf83c0a6fe46b464ab6ac08ee3439 URL: https://github.com/llvm/llvm-project/commit/aef05a12329cf83c0a6fe46b464ab6ac08ee3439 DIFF: https://github.com/llvm/llvm-project/commit/aef05a12329cf83c0a6fe46b464ab6ac08ee3439.diff LOG

[clang] 4866a6e - [clang][dataflow] Produce pointer values for callees of member operator calls.

2023-08-24 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-08-24T07:12:14Z New Revision: 4866a6e1d3327a0499ef0e017a973a78d4e377bc URL: https://github.com/llvm/llvm-project/commit/4866a6e1d3327a0499ef0e017a973a78d4e377bc DIFF: https://github.com/llvm/llvm-project/commit/4866a6e1d3327a0499ef0e017a973a78d4e377bc.diff LOG

[clang] a1a63d6 - [clang][dataflow] Add two repros for non-convergence involving pointers in loops.

2023-08-23 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-08-23T07:03:16Z New Revision: a1a63d68a46882e051eedcb632723e15f2ee331b URL: https://github.com/llvm/llvm-project/commit/a1a63d68a46882e051eedcb632723e15f2ee331b DIFF: https://github.com/llvm/llvm-project/commit/a1a63d68a46882e051eedcb632723e15f2ee331b.diff LOG

[clang] e6cd409 - [clang][dataflow] In `ControlFlowContext`, handle `Decl` by reference instead of pointer.

2023-08-02 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-08-03T06:59:29Z New Revision: e6cd409fc6396cb13c59b4a5190abc4b856f22a5 URL: https://github.com/llvm/llvm-project/commit/e6cd409fc6396cb13c59b4a5190abc4b856f22a5 DIFF: https://github.com/llvm/llvm-project/commit/e6cd409fc6396cb13c59b4a5190abc4b856f22a5.diff LOG

[clang] 9ecdbe3 - [clang][dataflow] Rename `AggregateStorageLocation` to `RecordStorageLocation` and `StructValue` to `RecordValue`.

2023-08-01 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-08-01T20:29:40Z New Revision: 9ecdbe3855a8048989a507ff8d470aee4d407589 URL: https://github.com/llvm/llvm-project/commit/9ecdbe3855a8048989a507ff8d470aee4d407589 DIFF: https://github.com/llvm/llvm-project/commit/9ecdbe3855a8048989a507ff8d470aee4d407589.diff LOG

[clang] 8c1a519 - [clang][dataflow] Remove deprecated `Strict` accessors.

2023-08-01 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-08-01T20:07:00Z New Revision: 8c1a519ee423f4097092095a44ba850bf0dd498d URL: https://github.com/llvm/llvm-project/commit/8c1a519ee423f4097092095a44ba850bf0dd498d DIFF: https://github.com/llvm/llvm-project/commit/8c1a519ee423f4097092095a44ba850bf0dd498d.diff LOG

[clang] b244b6a - [clang][dataflow] Remove `Strict` suffix from accessors.

2023-07-31 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-31T19:40:09Z New Revision: b244b6ae0b2153521c5e55ff4705a88618f503aa URL: https://github.com/llvm/llvm-project/commit/b244b6ae0b2153521c5e55ff4705a88618f503aa DIFF: https://github.com/llvm/llvm-project/commit/b244b6ae0b2153521c5e55ff4705a88618f503aa.diff LOG

[clang] 17ba278 - [clang][dataflow] Remove deprecated accessors as well as `SkipPast`.

2023-07-31 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-31T19:40:06Z New Revision: 17ba278f76116b12eb7a954c8963ee5a5a19c32b URL: https://github.com/llvm/llvm-project/commit/17ba278f76116b12eb7a954c8963ee5a5a19c32b DIFF: https://github.com/llvm/llvm-project/commit/17ba278f76116b12eb7a954c8963ee5a5a19c32b.diff LOG

[clang] f76f667 - [clang][dataflow] Use `Strict` accessors where we weren't using them yet.

2023-07-31 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-31T19:40:04Z New Revision: f76f6674d8221f59f9e515e3cc03ad07fa72fe46 URL: https://github.com/llvm/llvm-project/commit/f76f6674d8221f59f9e515e3cc03ad07fa72fe46 DIFF: https://github.com/llvm/llvm-project/commit/f76f6674d8221f59f9e515e3cc03ad07fa72fe46.diff LOG

[clang] 8c0acbf - [clang][dataflow] Avoid -Wunused-variable.

2023-07-28 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-28T07:57:50Z New Revision: 8c0acbf8370f29943798cd434cd0b91bbd554cdf URL: https://github.com/llvm/llvm-project/commit/8c0acbf8370f29943798cd434cd0b91bbd554cdf DIFF: https://github.com/llvm/llvm-project/commit/8c0acbf8370f29943798cd434cd0b91bbd554cdf.diff LOG

[clang] e95134b - [clang][dataflow] Reverse course on `getValue()` deprecation.

2023-07-27 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-27T13:14:49Z New Revision: e95134b9cb1885b0da929737858163486a5c399c URL: https://github.com/llvm/llvm-project/commit/e95134b9cb1885b0da929737858163486a5c399c DIFF: https://github.com/llvm/llvm-project/commit/e95134b9cb1885b0da929737858163486a5c399c.diff LOG

[clang] 1b334a2 - [clang][dataflow] Eliminate `ReferenceValue`.

2023-07-27 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-27T13:14:47Z New Revision: 1b334a2ae7af8ad8b2e3367db6433f1bc7b2b1a4 URL: https://github.com/llvm/llvm-project/commit/1b334a2ae7af8ad8b2e3367db6433f1bc7b2b1a4 DIFF: https://github.com/llvm/llvm-project/commit/1b334a2ae7af8ad8b2e3367db6433f1bc7b2b1a4.diff LOG

[clang] 771d7d7 - [clang][dataflow] HTMLLogger: Don't crash if CFG contains unreachable blocks.

2023-07-27 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-27T13:02:42Z New Revision: 771d7d71df418f12c80632ec6c3488af98f9b196 URL: https://github.com/llvm/llvm-project/commit/771d7d71df418f12c80632ec6c3488af98f9b196 DIFF: https://github.com/llvm/llvm-project/commit/771d7d71df418f12c80632ec6c3488af98f9b196.diff LOG

[clang] e6e83cb - [clang][dataflow] Don't crash when constructing an array of records.

2023-07-27 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-27T12:46:13Z New Revision: e6e83cbcc748a55a7eddce67b228298820cb9315 URL: https://github.com/llvm/llvm-project/commit/e6e83cbcc748a55a7eddce67b228298820cb9315 DIFF: https://github.com/llvm/llvm-project/commit/e6e83cbcc748a55a7eddce67b228298820cb9315.diff LOG

[clang] c3cf630 - [clang][dataflow] Remove checks that test for consistency between `StructValue` and `AggregateStorageLocation`.

2023-07-24 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-24T13:20:04Z New Revision: c3cf630d80a26a3bfc0845592f86e555addce3ca URL: https://github.com/llvm/llvm-project/commit/c3cf630d80a26a3bfc0845592f86e555addce3ca DIFF: https://github.com/llvm/llvm-project/commit/c3cf630d80a26a3bfc0845592f86e555addce3ca.diff LOG

[clang] 44f98d0 - [clang][dataflow] Eliminate duplication between `AggregateStorageLocation` and `StructValue`.

2023-07-24 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-24T13:20:01Z New Revision: 44f98d0101fe82352e7c5fa98f1b2e9dc1159200 URL: https://github.com/llvm/llvm-project/commit/44f98d0101fe82352e7c5fa98f1b2e9dc1159200 DIFF: https://github.com/llvm/llvm-project/commit/44f98d0101fe82352e7c5fa98f1b2e9dc1159200.diff LOG

[clang] 477ee05 - [clang][dataflow] Add an `operator<<` for `OptionalTypeIdentifier`.

2023-07-20 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-20T12:52:53Z New Revision: 477ee05f83c6cc4f11b45e61e606934b99e72290 URL: https://github.com/llvm/llvm-project/commit/477ee05f83c6cc4f11b45e61e606934b99e72290 DIFF: https://github.com/llvm/llvm-project/commit/477ee05f83c6cc4f11b45e61e606934b99e72290.diff LOG

[clang] 8b5d3ba - [clang][dataflow] Print the source line if we saw unexpected diagnostics in tests.

2023-07-20 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-20T12:40:22Z New Revision: 8b5d3ba829c162fd4890fd65a4629ce0715825ee URL: https://github.com/llvm/llvm-project/commit/8b5d3ba829c162fd4890fd65a4629ce0715825ee DIFF: https://github.com/llvm/llvm-project/commit/8b5d3ba829c162fd4890fd65a4629ce0715825ee.diff LOG

[clang] 6236bf5 - [clang][dataflow] Strengthen flow condition assertions.

2023-07-18 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-18T13:41:43Z New Revision: 6236bf53418eb23c62a73d6346f0edec914084e7 URL: https://github.com/llvm/llvm-project/commit/6236bf53418eb23c62a73d6346f0edec914084e7 DIFF: https://github.com/llvm/llvm-project/commit/6236bf53418eb23c62a73d6346f0edec914084e7.diff LOG

[clang] 0f6cf55 - [clang][dataflow] Bugfix for `refreshStructValue()`.

2023-07-17 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-17T18:56:25Z New Revision: 0f6cf555674959d0b21769fc1c46e23584561f2a URL: https://github.com/llvm/llvm-project/commit/0f6cf555674959d0b21769fc1c46e23584561f2a DIFF: https://github.com/llvm/llvm-project/commit/0f6cf555674959d0b21769fc1c46e23584561f2a.diff LOG

[clang] 6d76854 - [clang][dataflow] Add `DataflowEnvironment::createObject()`.

2023-07-17 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-17T07:26:10Z New Revision: 6d768548ecc0ca37026986f397392c1d0ace9736 URL: https://github.com/llvm/llvm-project/commit/6d768548ecc0ca37026986f397392c1d0ace9736 DIFF: https://github.com/llvm/llvm-project/commit/6d768548ecc0ca37026986f397392c1d0ace9736.diff LOG

[clang] d17f455 - [clang][dataflow] Add `refreshStructValue()`.

2023-07-17 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-17T07:26:13Z New Revision: d17f455a6348806c73641e742af08b0a974e13d5 URL: https://github.com/llvm/llvm-project/commit/d17f455a6348806c73641e742af08b0a974e13d5 DIFF: https://github.com/llvm/llvm-project/commit/d17f455a6348806c73641e742af08b0a974e13d5.diff LOG

[clang] 243a79c - [clang][dataflow] Simplify implementation of `transferStdForwardCall()` in optional check.

2023-07-17 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-17T07:26:11Z New Revision: 243a79ca01f8142a8d8c9873ba58fefdafa48745 URL: https://github.com/llvm/llvm-project/commit/243a79ca01f8142a8d8c9873ba58fefdafa48745 DIFF: https://github.com/llvm/llvm-project/commit/243a79ca01f8142a8d8c9873ba58fefdafa48745.diff LOG

[clang] 4782597 - [clang][dataflow] Add a test for not explicitly initialized fields in aggregate initialization.

2023-07-17 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-17T07:26:08Z New Revision: 4782597e3cd1b26cf8bd437e36fd6320f55d3d89 URL: https://github.com/llvm/llvm-project/commit/4782597e3cd1b26cf8bd437e36fd6320f55d3d89 DIFF: https://github.com/llvm/llvm-project/commit/4782597e3cd1b26cf8bd437e36fd6320f55d3d89.diff LOG

[clang] bd9b57d - [clang][dataflow] Fix initializing a reference field with an `InitListExpr`.

2023-07-11 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-12T04:52:30Z New Revision: bd9b57de4ff7c65be0d69179232ba2d5fe832195 URL: https://github.com/llvm/llvm-project/commit/bd9b57de4ff7c65be0d69179232ba2d5fe832195 DIFF: https://github.com/llvm/llvm-project/commit/bd9b57de4ff7c65be0d69179232ba2d5fe832195.diff LOG

[clang] b47bdcb - [clang][dataflow] Include fields initialized in an `InitListExpr` in `getModeledFields()`.

2023-07-11 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-12T04:52:29Z New Revision: b47bdcbc7207aac617d3c35dfc029f79b0a46fd8 URL: https://github.com/llvm/llvm-project/commit/b47bdcbc7207aac617d3c35dfc029f79b0a46fd8 DIFF: https://github.com/llvm/llvm-project/commit/b47bdcbc7207aac617d3c35dfc029f79b0a46fd8.diff LOG

[clang] 1e9b4fc - [clang][dataflow] Various refactorings in TypeErasedDataflowAnalysisTest.cpp

2023-07-11 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-12T04:52:27Z New Revision: 1e9b4fc1dcf27ae43477efe0329f738e4419871b URL: https://github.com/llvm/llvm-project/commit/1e9b4fc1dcf27ae43477efe0329f738e4419871b DIFF: https://github.com/llvm/llvm-project/commit/1e9b4fc1dcf27ae43477efe0329f738e4419871b.diff LOG

[clang] 0014aab - [clang][dataflow] Use `IntegerValue` instead of `StructValue` in `ValueTest`.

2023-07-11 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-12T04:52:22Z New Revision: 0014aab2d5882525c23130108e17fbbb5a2120f1 URL: https://github.com/llvm/llvm-project/commit/0014aab2d5882525c23130108e17fbbb5a2120f1 DIFF: https://github.com/llvm/llvm-project/commit/0014aab2d5882525c23130108e17fbbb5a2120f1.diff LOG

[clang] 103a0fc - [clang][dataflow] Use `getFieldValue()` in TransferTest.cpp.

2023-07-11 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-12T04:52:25Z New Revision: 103a0fc0846050dd671e6485ab52491042f905c6 URL: https://github.com/llvm/llvm-project/commit/103a0fc0846050dd671e6485ab52491042f905c6 DIFF: https://github.com/llvm/llvm-project/commit/103a0fc0846050dd671e6485ab52491042f905c6.diff LOG

[clang] 2902ea3 - [clang][dataflow] Introduce `getFieldValue()` test helpers.

2023-07-11 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-12T04:52:23Z New Revision: 2902ea3d817bf381817ff76228c3212f4dc87d47 URL: https://github.com/llvm/llvm-project/commit/2902ea3d817bf381817ff76228c3212f4dc87d47 DIFF: https://github.com/llvm/llvm-project/commit/2902ea3d817bf381817ff76228c3212f4dc87d47.diff LOG

[clang] e53da3e - [clang][dataflow][NFC] Expand a comment.

2023-07-10 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-11T06:32:08Z New Revision: e53da3eab42e6efd448c1c60c14668e1eb3d907c URL: https://github.com/llvm/llvm-project/commit/e53da3eab42e6efd448c1c60c14668e1eb3d907c DIFF: https://github.com/llvm/llvm-project/commit/e53da3eab42e6efd448c1c60c14668e1eb3d907c.diff LOG

[clang] 8bc13c8 - [clang][dataflow] Add `AnalysisInputs::withSolverFactory()`.

2023-07-10 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-10T13:43:13Z New Revision: 8bc13c884727f0b9be876303d654dd1eda300dc3 URL: https://github.com/llvm/llvm-project/commit/8bc13c884727f0b9be876303d654dd1eda300dc3 DIFF: https://github.com/llvm/llvm-project/commit/8bc13c884727f0b9be876303d654dd1eda300dc3.diff LOG

[clang] f653d14 - [clang][dataflow] Various refactorings to UncheckedOptionalAccessModel.

2023-07-09 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-10T06:45:55Z New Revision: f653d14065a362c98114082c4e9a3b1ede7a90f5 URL: https://github.com/llvm/llvm-project/commit/f653d14065a362c98114082c4e9a3b1ede7a90f5 DIFF: https://github.com/llvm/llvm-project/commit/f653d14065a362c98114082c4e9a3b1ede7a90f5.diff LOG

[clang] e8a1560 - [clang][dataflow] Various changes to handling of modeled fields.

2023-07-09 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-10T06:45:53Z New Revision: e8a1560d1de9514d3f1631388fe966476778e540 URL: https://github.com/llvm/llvm-project/commit/e8a1560d1de9514d3f1631388fe966476778e540 DIFF: https://github.com/llvm/llvm-project/commit/e8a1560d1de9514d3f1631388fe966476778e540.diff LOG

[clang] ca01be5 - [clang][dataflow] Bug fix: `BuiltinFnToFnPtr` cast does not produce a pointer.

2023-07-05 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-06T06:56:02Z New Revision: ca01be54c1e94c552eceb00fc21b4363fae63d6c URL: https://github.com/llvm/llvm-project/commit/ca01be54c1e94c552eceb00fc21b4363fae63d6c DIFF: https://github.com/llvm/llvm-project/commit/ca01be54c1e94c552eceb00fc21b4363fae63d6c.diff LOG

[clang] d0be47c - [clang][dataflow] Make `runDataflowReturnError()` a non-template function.

2023-07-04 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-04T12:44:49Z New Revision: d0be47c51cfdb8b94eb20279c02e8e2875380919 URL: https://github.com/llvm/llvm-project/commit/d0be47c51cfdb8b94eb20279c02e8e2875380919 DIFF: https://github.com/llvm/llvm-project/commit/d0be47c51cfdb8b94eb20279c02e8e2875380919.diff LOG

[clang] 1e7329c - [clang][dataflow] Model variables / fields / funcs used in default initializers.

2023-07-04 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-04T12:06:10Z New Revision: 1e7329cd79c53165f113edfe6a2ff06d12899632 URL: https://github.com/llvm/llvm-project/commit/1e7329cd79c53165f113edfe6a2ff06d12899632 DIFF: https://github.com/llvm/llvm-project/commit/1e7329cd79c53165f113edfe6a2ff06d12899632.diff LOG

[clang] 880f306 - [clang][dataflow] Add a test for a struct that is directly self-referential through a reference.

2023-07-04 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-07-04T12:06:13Z New Revision: 880f306226fcb97d85d422480954eb8765ff31c7 URL: https://github.com/llvm/llvm-project/commit/880f306226fcb97d85d422480954eb8765ff31c7 DIFF: https://github.com/llvm/llvm-project/commit/880f306226fcb97d85d422480954eb8765ff31c7.diff LOG

[clang] 1d7f9ce - [clang][dataflow] Don't crash when creating pointers to members.

2023-06-29 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-06-29T07:12:55Z New Revision: 1d7f9ce61f6e689ca63df2e36808885c873cf80b URL: https://github.com/llvm/llvm-project/commit/1d7f9ce61f6e689ca63df2e36808885c873cf80b DIFF: https://github.com/llvm/llvm-project/commit/1d7f9ce61f6e689ca63df2e36808885c873cf80b.diff LOG

[clang] d363248 - [clang][dataflow] Initialize fields of anonymous records correctly.

2023-06-28 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-06-29T04:07:04Z New Revision: d36324866ee1fb4d1c26552b6b686a463d2b448f URL: https://github.com/llvm/llvm-project/commit/d36324866ee1fb4d1c26552b6b686a463d2b448f DIFF: https://github.com/llvm/llvm-project/commit/d36324866ee1fb4d1c26552b6b686a463d2b448f.diff LOG

[clang] 74d8455 - [clang][dataflow] Make `getThisPointeeStorageLocation()` return an `AggregateStorageLocation`.

2023-06-28 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-06-29T04:07:08Z New Revision: 74d8455ba6a19d9eeaa561fd0eccc8cbf5351a47 URL: https://github.com/llvm/llvm-project/commit/74d8455ba6a19d9eeaa561fd0eccc8cbf5351a47 DIFF: https://github.com/llvm/llvm-project/commit/74d8455ba6a19d9eeaa561fd0eccc8cbf5351a47.diff LOG

[clang] abc8367 - [clang][dataflow] Don't crash if copy constructor arg doesn't have a storage location.

2023-06-28 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-06-28T11:15:52Z New Revision: abc8367413ff377b79e9743ca85252f209f81d65 URL: https://github.com/llvm/llvm-project/commit/abc8367413ff377b79e9743ca85252f209f81d65 DIFF: https://github.com/llvm/llvm-project/commit/abc8367413ff377b79e9743ca85252f209f81d65.diff LOG

[clang] 834a84d - [clang][dataflow] Output debug info if `getChild()` doesn't find field.

2023-06-28 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-06-28T09:12:08Z New Revision: 834a84d091ab7d196e966d8f08101136eb1c1e06 URL: https://github.com/llvm/llvm-project/commit/834a84d091ab7d196e966d8f08101136eb1c1e06 DIFF: https://github.com/llvm/llvm-project/commit/834a84d091ab7d196e966d8f08101136eb1c1e06.diff LOG

[clang] d04b198 - [clang][dataflow] Add a test that we can access fields of anonymous records.

2023-06-28 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-06-28T09:12:03Z New Revision: d04b198973c9bda2376209b460943ac393190752 URL: https://github.com/llvm/llvm-project/commit/d04b198973c9bda2376209b460943ac393190752 DIFF: https://github.com/llvm/llvm-project/commit/d04b198973c9bda2376209b460943ac393190752.diff LOG

[clang] 9a4097e - [clang][dataflow] Use namespace qualifiers when defining functions.

2023-06-27 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-06-27T08:56:21Z New Revision: 9a4097e9cd891e1445ba07ac6a21fe117fce URL: https://github.com/llvm/llvm-project/commit/9a4097e9cd891e1445ba07ac6a21fe117fce DIFF: https://github.com/llvm/llvm-project/commit/9a4097e9cd891e1445ba07ac6a21fe117fce.diff LOG

[clang] f2123af - [clang][dataflow] Perform deep copies in copy and move operations.

2023-06-26 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-06-26T13:52:56Z New Revision: f2123af1e7d7555af92b1bcff91bd5d0679a9b55 URL: https://github.com/llvm/llvm-project/commit/f2123af1e7d7555af92b1bcff91bd5d0679a9b55 DIFF: https://github.com/llvm/llvm-project/commit/f2123af1e7d7555af92b1bcff91bd5d0679a9b55.diff LOG

[clang] efbb4aa - [clang][dataflow] Dump useful debugging information when we crash.

2023-06-22 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-06-23T06:49:28Z New Revision: efbb4aaacedf0ded734d0b40c42d4419d03a59ff URL: https://github.com/llvm/llvm-project/commit/efbb4aaacedf0ded734d0b40c42d4419d03a59ff DIFF: https://github.com/llvm/llvm-project/commit/efbb4aaacedf0ded734d0b40c42d4419d03a59ff.diff LOG

[clang] 762cb1d - [clang][dataflow] Create `Value`s for integer literals.

2023-06-19 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-06-19T08:37:41Z New Revision: 762cb1d377362daff234ac5172c2c1db4918f6d3 URL: https://github.com/llvm/llvm-project/commit/762cb1d377362daff234ac5172c2c1db4918f6d3 DIFF: https://github.com/llvm/llvm-project/commit/762cb1d377362daff234ac5172c2c1db4918f6d3.diff LOG

[clang] 3f31d32 - [clang][dataflow] Model pointer value for builtin functions.

2023-06-12 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-06-12T12:23:18Z New Revision: 3f31d3204bd2726fa8e5c56ea27c8bba0074790e URL: https://github.com/llvm/llvm-project/commit/3f31d3204bd2726fa8e5c56ea27c8bba0074790e DIFF: https://github.com/llvm/llvm-project/commit/3f31d3204bd2726fa8e5c56ea27c8bba0074790e.diff LOG

[clang] bbeda83 - [clang][dataflow][NFC] Expand comments on losing values in optional checker.

2023-06-12 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-06-12T08:46:34Z New Revision: bbeda83090adcb3609f9c1331b2345e7fa547f90 URL: https://github.com/llvm/llvm-project/commit/bbeda83090adcb3609f9c1331b2345e7fa547f90 DIFF: https://github.com/llvm/llvm-project/commit/bbeda83090adcb3609f9c1331b2345e7fa547f90.diff LOG

[clang] af22be3 - [clang][dataflow] Use a `PointerValue` for `value` property in optional checker.

2023-06-05 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-06-05T12:52:51Z New Revision: af22be39038a9c464474410c3a8b3cb428d8b25a URL: https://github.com/llvm/llvm-project/commit/af22be39038a9c464474410c3a8b3cb428d8b25a DIFF: https://github.com/llvm/llvm-project/commit/af22be39038a9c464474410c3a8b3cb428d8b25a.diff LOG

[clang] 5ddb623 - [clang][dataflow] Remove unnecessary `ASTContext` parameter from `ControlFlowContext::build` overload.

2023-05-30 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-05-30T07:05:35Z New Revision: 5ddb623952cacba0a3933dacd4c70439ca95c70d URL: https://github.com/llvm/llvm-project/commit/5ddb623952cacba0a3933dacd4c70439ca95c70d DIFF: https://github.com/llvm/llvm-project/commit/5ddb623952cacba0a3933dacd4c70439ca95c70d.diff LOG

[clang] 7f6c3a9 - [clang][dataflow] Fix a crash in `getLogicOperatorSubExprValue()`.

2023-05-25 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-05-25T14:47:03Z New Revision: 7f6c3a9033b6409ada46609f5f4b650e8556f56d URL: https://github.com/llvm/llvm-project/commit/7f6c3a9033b6409ada46609f5f4b650e8556f56d DIFF: https://github.com/llvm/llvm-project/commit/7f6c3a9033b6409ada46609f5f4b650e8556f56d.diff LOG

[clang] 49946df - [clang][dataflow][NFC] Remove unused variable.

2023-05-25 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-05-25T12:09:52Z New Revision: 49946df8211e9d36f0b3755e64b55bc28c0a4247 URL: https://github.com/llvm/llvm-project/commit/49946df8211e9d36f0b3755e64b55bc28c0a4247 DIFF: https://github.com/llvm/llvm-project/commit/49946df8211e9d36f0b3755e64b55bc28c0a4247.diff LOG

[clang] 6441358 - [clang][dataflow] Add support for return values of reference type.

2023-05-25 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-05-25T08:38:33Z New Revision: 64413584dacba1fccffa345f69043b3509ee1745 URL: https://github.com/llvm/llvm-project/commit/64413584dacba1fccffa345f69043b3509ee1745 DIFF: https://github.com/llvm/llvm-project/commit/64413584dacba1fccffa345f69043b3509ee1745.diff LOG

[clang] 246626a - [clang][dataflow] Add a `ControlFlowContext::build()` overload taking a `FunctionDecl`.

2023-05-25 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-05-25T07:19:12Z New Revision: 246626a8cfd3d4f910baadeff4d5aa544b9d4550 URL: https://github.com/llvm/llvm-project/commit/246626a8cfd3d4f910baadeff4d5aa544b9d4550 DIFF: https://github.com/llvm/llvm-project/commit/246626a8cfd3d4f910baadeff4d5aa544b9d4550.diff LOG

[clang] 68baaca - [clang][dataflow] Use `Strict` accessors in comma operator and no-op cast.

2023-05-23 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-05-23T11:58:00Z New Revision: 68baaca61dfad1179a61d99cbf0fe23a6894849d URL: https://github.com/llvm/llvm-project/commit/68baaca61dfad1179a61d99cbf0fe23a6894849d DIFF: https://github.com/llvm/llvm-project/commit/68baaca61dfad1179a61d99cbf0fe23a6894849d.diff LOG

[clang] a9e90f7 - [clang][dataflow] Fix a null pointer crash in `computeBlockInputState()`.

2023-05-22 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-05-22T12:19:55Z New Revision: a9e90f7994222dde987154ed009504afbf3c2166 URL: https://github.com/llvm/llvm-project/commit/a9e90f7994222dde987154ed009504afbf3c2166 DIFF: https://github.com/llvm/llvm-project/commit/a9e90f7994222dde987154ed009504afbf3c2166.diff LOG

[clang] 3bc1ea5 - [clang][dataflow] Fix a bug in handling of `operator->` for optional checker.

2023-05-21 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-05-22T06:51:15Z New Revision: 3bc1ea5b0ac90e04e7b935a5d964613f8fbad4bf URL: https://github.com/llvm/llvm-project/commit/3bc1ea5b0ac90e04e7b935a5d964613f8fbad4bf DIFF: https://github.com/llvm/llvm-project/commit/3bc1ea5b0ac90e04e7b935a5d964613f8fbad4bf.diff LOG

[clang] 8bc8fc6 - [clang][dataflow] Use `Strict` accessors in TypeErasedDataflowAnalysis.cpp.

2023-05-21 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-05-22T06:51:12Z New Revision: 8bc8fc65c9b20de6ffad63d7ce6734c145265cc2 URL: https://github.com/llvm/llvm-project/commit/8bc8fc65c9b20de6ffad63d7ce6734c145265cc2 DIFF: https://github.com/llvm/llvm-project/commit/8bc8fc65c9b20de6ffad63d7ce6734c145265cc2.diff LOG

[clang] 96b22e1 - [clang][dataflow] Use `Strict` accessors in SignAnalysisTest.cpp.

2023-05-21 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-05-22T06:51:13Z New Revision: 96b22e1c378a93a26cd8fc8051bfc7b90f65b665 URL: https://github.com/llvm/llvm-project/commit/96b22e1c378a93a26cd8fc8051bfc7b90f65b665 DIFF: https://github.com/llvm/llvm-project/commit/96b22e1c378a93a26cd8fc8051bfc7b90f65b665.diff LOG

[clang] 5a16665 - [clang][dataflow] Use `Strict` accessors in more places in Transfer.cpp.

2023-05-21 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-05-22T06:51:10Z New Revision: 5a16665ed53500b7ee6703be3d5b9e0bca6f1c14 URL: https://github.com/llvm/llvm-project/commit/5a16665ed53500b7ee6703be3d5b9e0bca6f1c14 DIFF: https://github.com/llvm/llvm-project/commit/5a16665ed53500b7ee6703be3d5b9e0bca6f1c14.diff LOG

[clang] 6a81e69 - [clang][dataflow] Remove unused parameter from `diagnoseUnwrapCall()`.

2023-05-17 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-05-17T14:27:58Z New Revision: 6a81e694ab806d257e43cbc2e32c06099d70cbd8 URL: https://github.com/llvm/llvm-project/commit/6a81e694ab806d257e43cbc2e32c06099d70cbd8 DIFF: https://github.com/llvm/llvm-project/commit/6a81e694ab806d257e43cbc2e32c06099d70cbd8.diff LOG

[clang] 080ee85 - [clang][dataflow] Add `Strict` versions of `Value` and `StorageLocation` accessors.

2023-05-17 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-05-17T09:30:47Z New Revision: 080ee850c639be96b8bea8008088f2b036ff0f15 URL: https://github.com/llvm/llvm-project/commit/080ee850c639be96b8bea8008088f2b036ff0f15 DIFF: https://github.com/llvm/llvm-project/commit/080ee850c639be96b8bea8008088f2b036ff0f15.diff LOG

[clang] 1a42f79 - [clang][dataflow] Don't analyze templated declarations.

2023-05-15 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-05-15T11:04:51Z New Revision: 1a42f795587b9d57291d009989aace6efd0a7a7f URL: https://github.com/llvm/llvm-project/commit/1a42f795587b9d57291d009989aace6efd0a7a7f DIFF: https://github.com/llvm/llvm-project/commit/1a42f795587b9d57291d009989aace6efd0a7a7f.diff LOG

[clang] 48bc715 - [clang][dataflow] Eliminate `SkipPast::ReferenceThenPointer`.

2023-05-14 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-05-15T04:33:29Z New Revision: 48bc71505e03694caac6afb2431ff1157a2382a8 URL: https://github.com/llvm/llvm-project/commit/48bc71505e03694caac6afb2431ff1157a2382a8 DIFF: https://github.com/llvm/llvm-project/commit/48bc71505e03694caac6afb2431ff1157a2382a8.diff LOG

cfe-commits@lists.llvm.org

2023-05-09 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-05-09T07:42:20Z New Revision: 0c852dc88e9276b74532fd7d233dd23ec1bbed6f URL: https://github.com/llvm/llvm-project/commit/0c852dc88e9276b74532fd7d233dd23ec1bbed6f DIFF: https://github.com/llvm/llvm-project/commit/0c852dc88e9276b74532fd7d233dd23ec1bbed6f.diff LOG

cfe-commits@lists.llvm.org

2023-05-08 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-05-08T07:10:44Z New Revision: 9940fac7539597c08f03381527011e1280cd7489 URL: https://github.com/llvm/llvm-project/commit/9940fac7539597c08f03381527011e1280cd7489 DIFF: https://github.com/llvm/llvm-project/commit/9940fac7539597c08f03381527011e1280cd7489.diff LOG

[clang] bfbe137 - [clang][dataflow] Eliminate intermediate `ReferenceValue`s from `Environment::DeclToLoc`.

2023-05-04 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-05-04T20:57:30Z New Revision: bfbe137888151dfd506df6b3319d08c4de0e00f5 URL: https://github.com/llvm/llvm-project/commit/bfbe137888151dfd506df6b3319d08c4de0e00f5 DIFF: https://github.com/llvm/llvm-project/commit/bfbe137888151dfd506df6b3319d08c4de0e00f5.diff LOG

[clang] c849843 - [clang][dataflow][NFC] Eliminate unnecessary helper `stripReference()`.

2023-05-04 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-05-04T13:14:04Z New Revision: c849843c3ef73a1cae9040620c4b37e2240f86af URL: https://github.com/llvm/llvm-project/commit/c849843c3ef73a1cae9040620c4b37e2240f86af DIFF: https://github.com/llvm/llvm-project/commit/c849843c3ef73a1cae9040620c4b37e2240f86af.diff LOG

[clang-tools-extra] c8f81ee - [clang-tidy] bugprone-use-after-move: Ctor arguments should be sequenced if ctor call is written as list-initialization.

2023-05-04 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-05-04T12:05:39Z New Revision: c8f81ee1da325760a4bbd83c8c54ecc9645f8e20 URL: https://github.com/llvm/llvm-project/commit/c8f81ee1da325760a4bbd83c8c54ecc9645f8e20 DIFF: https://github.com/llvm/llvm-project/commit/c8f81ee1da325760a4bbd83c8c54ecc9645f8e20.diff LOG

[clang] 791b0fd - [clang][dataflow] Change PruneTriviallyFalseEdges for building CFG

2023-05-03 Thread Martin Braenne via cfe-commits
Author: Kinuko Yasuda Date: 2023-05-03T18:42:15Z New Revision: 791b0fd02668fd0fcf07788d4e16bb468434f4bf URL: https://github.com/llvm/llvm-project/commit/791b0fd02668fd0fcf07788d4e16bb468434f4bf DIFF: https://github.com/llvm/llvm-project/commit/791b0fd02668fd0fcf07788d4e16bb468434f4bf.diff LOG:

[clang] 6b85cc1 - [clang][dataflow] Use existing accessors to check for copy and move assignment ops.

2023-04-24 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-04-24T14:32:09Z New Revision: 6b85cc18eb7be0fdc01b8586347750e65e56a4c3 URL: https://github.com/llvm/llvm-project/commit/6b85cc18eb7be0fdc01b8586347750e65e56a4c3 DIFF: https://github.com/llvm/llvm-project/commit/6b85cc18eb7be0fdc01b8586347750e65e56a4c3.diff LOG

[clang] d9e7173 - [clang][dataflow] Associate `FunctionToPointerDecay` nodes with a value.

2023-04-18 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-04-18T07:15:29Z New Revision: d9e717338f8042664177250315364094262c7073 URL: https://github.com/llvm/llvm-project/commit/d9e717338f8042664177250315364094262c7073 DIFF: https://github.com/llvm/llvm-project/commit/d9e717338f8042664177250315364094262c7073.diff LOG

[clang] 6ab900f - [clang][dataflow] Add support for new expressions.

2023-04-17 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-04-18T04:11:43Z New Revision: 6ab900f8746e7d8e24afafb5886a40801f6799f4 URL: https://github.com/llvm/llvm-project/commit/6ab900f8746e7d8e24afafb5886a40801f6799f4 DIFF: https://github.com/llvm/llvm-project/commit/6ab900f8746e7d8e24afafb5886a40801f6799f4.diff LOG

[clang] 991c7e1 - [clang][dataflow][NFC] Remove unused parameter from `insertIfGlobal()`.

2023-04-11 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-04-11T11:31:56Z New Revision: 991c7e11728f6f6372e5dc865e3a4c0636a575ea URL: https://github.com/llvm/llvm-project/commit/991c7e11728f6f6372e5dc865e3a4c0636a575ea DIFF: https://github.com/llvm/llvm-project/commit/991c7e11728f6f6372e5dc865e3a4c0636a575ea.diff LOG

[clang] effdfa7 - [clang][dataflow] Use `isRecordType()` where appropriate.

2023-04-06 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-04-06T07:26:24Z New Revision: effdfa7d5f49b00b4c0d36f7c6835b519b0f46bb URL: https://github.com/llvm/llvm-project/commit/effdfa7d5f49b00b4c0d36f7c6835b519b0f46bb DIFF: https://github.com/llvm/llvm-project/commit/effdfa7d5f49b00b4c0d36f7c6835b519b0f46bb.diff LOG

[clang] 3c8ead2 - [clang][dataflow] Eliminate code duplication in Environment::createValueUnlessSelfReferential().

2023-04-06 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-04-06T07:01:44Z New Revision: 3c8ead2662ac4a223467007c340c9f9a4b2b38af URL: https://github.com/llvm/llvm-project/commit/3c8ead2662ac4a223467007c340c9f9a4b2b38af DIFF: https://github.com/llvm/llvm-project/commit/3c8ead2662ac4a223467007c340c9f9a4b2b38af.diff LOG

[clang] 745a957 - [clang][dataflow] Add `create()` methods to `Environment` and `DataflowAnalysisContext`.

2023-04-04 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-04-04T07:13:44Z New Revision: 745a957f9dc562477cbe587fb3fa8305713b51b3 URL: https://github.com/llvm/llvm-project/commit/745a957f9dc562477cbe587fb3fa8305713b51b3 DIFF: https://github.com/llvm/llvm-project/commit/745a957f9dc562477cbe587fb3fa8305713b51b3.diff LOG

[clang] ce0ab9d - [clang][dataflow][NFC] Share code between Environment ctor and pushCallInternal().

2023-04-03 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-04-03T08:25:10Z New Revision: ce0ab9d11cec0a81c4e48645a23fa8eddea926ab URL: https://github.com/llvm/llvm-project/commit/ce0ab9d11cec0a81c4e48645a23fa8eddea926ab DIFF: https://github.com/llvm/llvm-project/commit/ce0ab9d11cec0a81c4e48645a23fa8eddea926ab.diff LOG

[clang] 1bc2d43 - [clang][dataflow][NFC] Put TransferVisitor in an unnamed namespace.

2023-03-28 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-03-28T10:03:39Z New Revision: 1bc2d43e5c8fd0ec2e1a7e364fb42272ed7fb158 URL: https://github.com/llvm/llvm-project/commit/1bc2d43e5c8fd0ec2e1a7e364fb42272ed7fb158 DIFF: https://github.com/llvm/llvm-project/commit/1bc2d43e5c8fd0ec2e1a7e364fb42272ed7fb158.diff LOG

[clang] 0608541 - [clang][dataflow][NFC] Eliminate StmtToEnvMap interface.

2023-03-28 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-03-28T08:05:57Z New Revision: 0608541aa4b5932c092251b846e7b87576e4f2d4 URL: https://github.com/llvm/llvm-project/commit/0608541aa4b5932c092251b846e7b87576e4f2d4 DIFF: https://github.com/llvm/llvm-project/commit/0608541aa4b5932c092251b846e7b87576e4f2d4.diff LOG

[clang] 5acd29e - [clang][dataflow] Fix crash when RHS of `&&` or `||` calls `noreturn` func.

2023-03-23 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-03-23T08:02:43Z New Revision: 5acd29eb4d9e411b3631c26babcd1d2655623f4a URL: https://github.com/llvm/llvm-project/commit/5acd29eb4d9e411b3631c26babcd1d2655623f4a DIFF: https://github.com/llvm/llvm-project/commit/5acd29eb4d9e411b3631c26babcd1d2655623f4a.diff LOG

[clang-tools-extra] ddbcd98 - [clang-tidy] Correctly handle evaluation order of designated initializers.

2023-03-16 Thread Martin Braenne via cfe-commits
Author: Martin Braenne Date: 2023-03-16T08:15:13Z New Revision: ddbcd985602dcb5fe78fcf2246cf53922db1f3c3 URL: https://github.com/llvm/llvm-project/commit/ddbcd985602dcb5fe78fcf2246cf53922db1f3c3 DIFF: https://github.com/llvm/llvm-project/commit/ddbcd985602dcb5fe78fcf2246cf53922db1f3c3.diff LOG