[clang] [llvm] [clang][dataflow] Make `CNFFormula` externally accessible. (PR #92401)

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

[clang] [llvm] [clang][dataflow] Make `CNFFormula` externally accessible. (PR #92401)

@@ -44,73 +41,16 @@ namespace dataflow { // // [1] https://en.wikipedia.org/wiki/DPLL_algorithm -/// Boolean variables are represented as positive integers. -using Variable = uint32_t; +namespace { sgatev wrote: Maybe move the comment above as a class comment

[clang] [llvm] [clang][dataflow] Make `CNFFormula` externally accessible. (PR #92401)

@@ -0,0 +1,180 @@ +//===- CNFFormula.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][dataflow] Add `Environment::allows()`. (PR #70046)

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

[clang] [clang][dataflow] Add `Environment::allows()`. (PR #70046)

@@ -129,9 +129,17 @@ class DataflowAnalysisContext { /// token. Atom joinFlowConditions(Atom FirstToken, Atom SecondToken); - /// Returns true if and only if the constraints of the flow condition - /// identified by `Token` imply that `Val` is true. - bool flowCondition

[clang] [clang][dataflow] Add `Environment::allows()`. (PR #70046)

@@ -546,12 +546,29 @@ class Environment { Atom getFlowConditionToken() const { return FlowConditionToken; } /// Record a fact that must be true if this point in the program is reached. - void addToFlowCondition(const Formula &); + void assume(const Formula &); + + /// D

[clang] [clang][dataflow] Add `Environment::allows()`. (PR #70046)

@@ -184,6 +192,12 @@ class DataflowAnalysisContext { addTransitiveFlowConditionConstraints(Atom Token, llvm::SetVector &Out); + /// Returns true if the solver is able to prove that there is a satisfying + /// assignment for `Constrai

[clang] [clang][dataflow] Add `Environment::allows()`. (PR #70046)

sgatev wrote: LGTM https://github.com/llvm/llvm-project/pull/70046 ___ 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/sgatev closed 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) { sgatev wrote: Done. https://github.com/llvm/llvm-project/pull/68558 ___ cfe-com

[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/sgatev updated https://github.com/llvm/llvm-project/pull/68558 >From 1c9828b823f8b83071f88f9525bd376a079d614b Mon Sep 17 00:00:00 2001 From: Stanislav Gatev Date: Fri, 6 Oct 2023 04:32:06 + Subject: [PATCH] [clang][dataflow] Add support for lambda captures This adds supp

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

https://github.com/sgatev updated https://github.com/llvm/llvm-project/pull/68558 >From 77d474bd7f7885cc454aeb0fdb5b25788d261e41 Mon Sep 17 00:00:00 2001 From: Stanislav Gatev Date: Fri, 6 Oct 2023 04:32:06 + Subject: [PATCH] [clang][dataflow] Add support for lambda captures This adds supp

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

https://github.com/sgatev created https://github.com/llvm/llvm-project/pull/68558 This adds support for copy, ref, and this lambda captures to the core framework and also adds relevant test in UncheckedOptionalAccessTest. >From 85dc5eea1810d5d7af207e211799aa92a0f9f154 Mon Sep 17 00:00:00 2001

[clang] 817dd5e - [clang][dataflow] Rename member to make it clear that it isn't stable

Author: Stanislav Gatev Date: 2022-08-03T06:25:02Z New Revision: 817dd5e3fd6bdad584728843c72892f0fae058cd URL: https://github.com/llvm/llvm-project/commit/817dd5e3fd6bdad584728843c72892f0fae058cd DIFF: https://github.com/llvm/llvm-project/commit/817dd5e3fd6bdad584728843c72892f0fae058cd.diff LO

[clang] c44c718 - [clang][dataflow] Make the type of the post visit callback consistent

Author: Stanislav Gatev Date: 2022-08-03T05:58:38Z New Revision: c44c71843f3eca71ef109d2e0730722a6d8e5675 URL: https://github.com/llvm/llvm-project/commit/c44c71843f3eca71ef109d2e0730722a6d8e5675 DIFF: https://github.com/llvm/llvm-project/commit/c44c71843f3eca71ef109d2e0730722a6d8e5675.diff LO

[clang] 8207c2a - [clang][dataflow] Handle `for` statements without conditions

Author: Stanislav Gatev Date: 2022-06-30T07:00:35Z New Revision: 8207c2a660303272ad8ecb1807407f029466ff49 URL: https://github.com/llvm/llvm-project/commit/8207c2a660303272ad8ecb1807407f029466ff49 DIFF: https://github.com/llvm/llvm-project/commit/8207c2a660303272ad8ecb1807407f029466ff49.diff LO

[clang] e363c59 - [clang][dataflow] Extend flow condition in the body of a do/while loop

Author: Stanislav Gatev Date: 2022-06-20T17:31:00Z New Revision: e363c5963dc3ad5d9492d3f37055ad56a84411a5 URL: https://github.com/llvm/llvm-project/commit/e363c5963dc3ad5d9492d3f37055ad56a84411a5 DIFF: https://github.com/llvm/llvm-project/commit/e363c5963dc3ad5d9492d3f37055ad56a84411a5.diff LO

[clang] 8323209 - [clang][dataflow] Extend flow condition in the body of a for loop

Author: Stanislav Gatev Date: 2022-06-20T05:48:45Z New Revision: 83232099cb5e7edd9a9bf1c5c8834282a58110e5 URL: https://github.com/llvm/llvm-project/commit/83232099cb5e7edd9a9bf1c5c8834282a58110e5 DIFF: https://github.com/llvm/llvm-project/commit/83232099cb5e7edd9a9bf1c5c8834282a58110e5.diff LO

[clang] ba53906 - [clang][dataflow] Add support for comma binary operator

Author: Stanislav Gatev Date: 2022-06-17T17:48:21Z New Revision: ba53906ceff1e7979cac37ff6fdc27e976fc169a URL: https://github.com/llvm/llvm-project/commit/ba53906ceff1e7979cac37ff6fdc27e976fc169a DIFF: https://github.com/llvm/llvm-project/commit/ba53906ceff1e7979cac37ff6fdc27e976fc169a.diff LO

[clang] 0c2edf2 - [clang][dataflow] Make `Value` and `StorageLocation` non-copyable

Author: Stanislav Gatev Date: 2022-06-15T16:14:27Z New Revision: 0c2edf27a22efb648b36343d49a5dbe72903b549 URL: https://github.com/llvm/llvm-project/commit/0c2edf27a22efb648b36343d49a5dbe72903b549 DIFF: https://github.com/llvm/llvm-project/commit/0c2edf27a22efb648b36343d49a5dbe72903b549.diff LO

[clang] 8fcdd62 - [clang][dataflow] Add support for correlated branches to optional model

Author: Stanislav Gatev Date: 2022-06-15T10:00:44Z New Revision: 8fcdd625856b2e7df2fdb3a4c57efedb35e4d7c1 URL: https://github.com/llvm/llvm-project/commit/8fcdd625856b2e7df2fdb3a4c57efedb35e4d7c1 DIFF: https://github.com/llvm/llvm-project/commit/8fcdd625856b2e7df2fdb3a4c57efedb35e4d7c1.diff LO

[clang] 65e710c - [clang][dataflow] Model calls returning optionals

Author: Stanislav Gatev Date: 2022-06-03T13:38:22Z New Revision: 65e710c3fc036706ec20b357a1bfce9cbadf5705 URL: https://github.com/llvm/llvm-project/commit/65e710c3fc036706ec20b357a1bfce9cbadf5705 DIFF: https://github.com/llvm/llvm-project/commit/65e710c3fc036706ec20b357a1bfce9cbadf5705.diff LO

[clang] 0e286b7 - [clang][dataflow] Add transfer functions for structured bindings

Author: Stanislav Gatev Date: 2022-06-02T08:02:26Z New Revision: 0e286b77cf7bebca568b60ac81c1717291040bc3 URL: https://github.com/llvm/llvm-project/commit/0e286b77cf7bebca568b60ac81c1717291040bc3 DIFF: https://github.com/llvm/llvm-project/commit/0e286b77cf7bebca568b60ac81c1717291040bc3.diff LO

[clang] 955a05a - [clang][dataflow] Optimize flow condition representation

Author: Stanislav Gatev Date: 2022-05-01T16:25:29Z New Revision: 955a05a2782ee19d6f4bce6bf5d1c4a8f591f0f3 URL: https://github.com/llvm/llvm-project/commit/955a05a2782ee19d6f4bce6bf5d1c4a8f591f0f3 DIFF: https://github.com/llvm/llvm-project/commit/955a05a2782ee19d6f4bce6bf5d1c4a8f591f0f3.diff LO

[clang] 2ddd57a - [clang][dataflow] Model the behavior of optional and std swap

Author: Stanislav Gatev Date: 2022-03-22T08:35:34Z New Revision: 2ddd57ae1ec42c4aad8e70645cff82c877a94e3f URL: https://github.com/llvm/llvm-project/commit/2ddd57ae1ec42c4aad8e70645cff82c877a94e3f DIFF: https://github.com/llvm/llvm-project/commit/2ddd57ae1ec42c4aad8e70645cff82c877a94e3f.diff LO

[clang] b000b77 - [clang][dataflow] Model the behavior of non-standard optional assignment

Author: Stanislav Gatev Date: 2022-03-17T17:11:12Z New Revision: b000b7705ad86ff19bea950c913a2416247317d5 URL: https://github.com/llvm/llvm-project/commit/b000b7705ad86ff19bea950c913a2416247317d5 DIFF: https://github.com/llvm/llvm-project/commit/b000b7705ad86ff19bea950c913a2416247317d5.diff LO

[clang] 092a530 - [clang][dataflow] Model the behavior of non-standard optional constructors

Author: Stanislav Gatev Date: 2022-03-15T08:13:13Z New Revision: 092a530ca1878df08dc616cb43072044a39fb132 URL: https://github.com/llvm/llvm-project/commit/092a530ca1878df08dc616cb43072044a39fb132 DIFF: https://github.com/llvm/llvm-project/commit/092a530ca1878df08dc616cb43072044a39fb132.diff LO

[clang] cf63e9d - [clang][dataflow] Add support for nested composite bool expressions

Author: Stanislav Gatev Date: 2022-03-14T17:18:30Z New Revision: cf63e9d4caccbd540df083c63a5217ac50b5e1f9 URL: https://github.com/llvm/llvm-project/commit/cf63e9d4caccbd540df083c63a5217ac50b5e1f9 DIFF: https://github.com/llvm/llvm-project/commit/cf63e9d4caccbd540df083c63a5217ac50b5e1f9.diff LO

[clang] 9e0fc67 - [clang][dataflow] Model the behavior of various optional members

Author: Stanislav Gatev Date: 2022-03-14T06:50:14Z New Revision: 9e0fc67683781fe4bd9bc4085084faec1126b41b URL: https://github.com/llvm/llvm-project/commit/9e0fc67683781fe4bd9bc4085084faec1126b41b DIFF: https://github.com/llvm/llvm-project/commit/9e0fc67683781fe4bd9bc4085084faec1126b41b.diff LO

[clang] af98b0a - [clang][dataflow] Add analysis that detects unsafe accesses to optionals

Author: Stanislav Gatev Date: 2022-03-10T11:05:31Z New Revision: af98b0af6705df3859ee3c98525b57025d40d9e8 URL: https://github.com/llvm/llvm-project/commit/af98b0af6705df3859ee3c98525b57025d40d9e8 DIFF: https://github.com/llvm/llvm-project/commit/af98b0af6705df3859ee3c98525b57025d40d9e8.diff LO

[clang] 3dd7877 - Revert "[clang][dataflow] Move dataflow testing support out of unittests"

Author: Stanislav Gatev Date: 2022-03-09T15:38:51Z New Revision: 3dd7877b27dcd0d2b8e0d3a3ac156390248fe612 URL: https://github.com/llvm/llvm-project/commit/3dd7877b27dcd0d2b8e0d3a3ac156390248fe612 DIFF: https://github.com/llvm/llvm-project/commit/3dd7877b27dcd0d2b8e0d3a3ac156390248fe612.diff LO

[clang] 26bbde2 - [clang][dataflow] Move dataflow testing support out of unittests

Author: Stanislav Gatev Date: 2022-03-09T15:31:02Z New Revision: 26bbde2612b2042c3a8a31aed7f45e065c3dd413 URL: https://github.com/llvm/llvm-project/commit/26bbde2612b2042c3a8a31aed7f45e065c3dd413 DIFF: https://github.com/llvm/llvm-project/commit/26bbde2612b2042c3a8a31aed7f45e065c3dd413.diff LO

[clang] e0cc28d - Revert "[clang][dataflow] Add analysis that detects unsafe accesses to optionals"

Author: Stanislav Gatev Date: 2022-03-09T09:51:03Z New Revision: e0cc28dfdc67105974924cce42bb8c85bd44925a URL: https://github.com/llvm/llvm-project/commit/e0cc28dfdc67105974924cce42bb8c85bd44925a DIFF: https://github.com/llvm/llvm-project/commit/e0cc28dfdc67105974924cce42bb8c85bd44925a.diff LO

[clang] ce205cf - [clang][dataflow] Add analysis that detects unsafe accesses to optionals

Author: Stanislav Gatev Date: 2022-03-09T09:42:51Z New Revision: ce205cffdfa0f16ce9441ba46fa43e23cecf8be7 URL: https://github.com/llvm/llvm-project/commit/ce205cffdfa0f16ce9441ba46fa43e23cecf8be7 DIFF: https://github.com/llvm/llvm-project/commit/ce205cffdfa0f16ce9441ba46fa43e23cecf8be7.diff LO

[clang] 1e57158 - [clang][dataflow] Extend flow conditions from block terminators

Author: Stanislav Gatev Date: 2022-03-07T17:50:44Z New Revision: 1e5715857abdd7c98f529eed5594b983bfa63324 URL: https://github.com/llvm/llvm-project/commit/1e5715857abdd7c98f529eed5594b983bfa63324 DIFF: https://github.com/llvm/llvm-project/commit/1e5715857abdd7c98f529eed5594b983bfa63324.diff LO

[clang] ae60884 - [clang][dataflow] Add flow condition constraints to Environment

Author: Stanislav Gatev Date: 2022-03-02T08:57:27Z New Revision: ae60884dfe16a8f9382d778e4eef61bf9703e1f5 URL: https://github.com/llvm/llvm-project/commit/ae60884dfe16a8f9382d778e4eef61bf9703e1f5 DIFF: https://github.com/llvm/llvm-project/commit/ae60884dfe16a8f9382d778e4eef61bf9703e1f5.diff LO

[clang] 53dcd9e - [clang][dataflow] Add SAT solver interface and implementation

Author: Stanislav Gatev Date: 2022-02-25T14:46:52Z New Revision: 53dcd9efd16fc881b01470767ac17c4b221f3e08 URL: https://github.com/llvm/llvm-project/commit/53dcd9efd16fc881b01470767ac17c4b221f3e08 DIFF: https://github.com/llvm/llvm-project/commit/53dcd9efd16fc881b01470767ac17c4b221f3e08.diff LO

[clang] baa0f22 - [clang][dataflow] Update StructValue child when assigning a value

Author: Stanislav Gatev Date: 2022-02-24T16:41:48Z New Revision: baa0f221d6df2fcce10c54751cc42284e2656c31 URL: https://github.com/llvm/llvm-project/commit/baa0f221d6df2fcce10c54751cc42284e2656c31 DIFF: https://github.com/llvm/llvm-project/commit/baa0f221d6df2fcce10c54751cc42284e2656c31.diff LO

[clang] 03dff12 - Revert "Revert "[clang][dataflow] Add support for global storage values""

Author: Stanislav Gatev Date: 2022-02-23T13:57:34Z New Revision: 03dff12197d15161ffc9ec7afeb9501551d6119e URL: https://github.com/llvm/llvm-project/commit/03dff12197d15161ffc9ec7afeb9501551d6119e DIFF: https://github.com/llvm/llvm-project/commit/03dff12197d15161ffc9ec7afeb9501551d6119e.diff LO

[clang] 169e1ab - Revert "[clang][dataflow] Add support for global storage values"

Author: Stanislav Gatev Date: 2022-02-23T10:32:17Z New Revision: 169e1aba55bed9f7ffa000f9f170ab2defbc40b2 URL: https://github.com/llvm/llvm-project/commit/169e1aba55bed9f7ffa000f9f170ab2defbc40b2 DIFF: https://github.com/llvm/llvm-project/commit/169e1aba55bed9f7ffa000f9f170ab2defbc40b2.diff LO

[clang] 7ea103d - [clang][dataflow] Add support for global storage values

Author: Stanislav Gatev Date: 2022-02-23T08:27:58Z New Revision: 7ea103de140b59a64fc884fa90afd2213619384d URL: https://github.com/llvm/llvm-project/commit/7ea103de140b59a64fc884fa90afd2213619384d DIFF: https://github.com/llvm/llvm-project/commit/7ea103de140b59a64fc884fa90afd2213619384d.diff LO

[clang] a480841 - Add missing break statement in switch.

Author: Stanislav Gatev Date: 2022-02-17T09:37:02Z New Revision: a48084156653e8f3791d13c19ce64df13c44a11e URL: https://github.com/llvm/llvm-project/commit/a48084156653e8f3791d13c19ce64df13c44a11e DIFF: https://github.com/llvm/llvm-project/commit/a48084156653e8f3791d13c19ce64df13c44a11e.diff LO

[clang] dd4dde8 - [clang][dataflow] Add transfer functions for logical and, or, not.

Author: Stanislav Gatev Date: 2022-02-17T09:09:59Z New Revision: dd4dde8d39a9c36ea692635bdfc0c90cc8d755fd URL: https://github.com/llvm/llvm-project/commit/dd4dde8d39a9c36ea692635bdfc0c90cc8d755fd DIFF: https://github.com/llvm/llvm-project/commit/dd4dde8d39a9c36ea692635bdfc0c90cc8d755fd.diff LO

[clang] 87c32be - [clang][dataflow] Include terminator statements in buildStmtToBasicBlockMap

Author: Stanislav Gatev Date: 2022-02-11T11:15:29Z New Revision: 87c32be023d293e159e699bf46c821fe931cc223 URL: https://github.com/llvm/llvm-project/commit/87c32be023d293e159e699bf46c821fe931cc223 DIFF: https://github.com/llvm/llvm-project/commit/87c32be023d293e159e699bf46c821fe931cc223.diff LO

[clang] 6b8800d - [clang][dataflow] Enable comparison of distinct values in Environment

Author: Stanislav Gatev Date: 2022-02-01T15:25:59Z New Revision: 6b8800dfb5c9486c7302cc2d8d2ae362ef8fdfbd URL: https://github.com/llvm/llvm-project/commit/6b8800dfb5c9486c7302cc2d8d2ae362ef8fdfbd DIFF: https://github.com/llvm/llvm-project/commit/6b8800dfb5c9486c7302cc2d8d2ae362ef8fdfbd.diff LO

[clang] 56cc697 - [clang][dataflow] Merge distinct pointer values in Environment::join

Author: Stanislav Gatev Date: 2022-01-29T16:33:15Z New Revision: 56cc697323445337134cc2bbe8ce8b1f60131574 URL: https://github.com/llvm/llvm-project/commit/56cc697323445337134cc2bbe8ce8b1f60131574 DIFF: https://github.com/llvm/llvm-project/commit/56cc697323445337134cc2bbe8ce8b1f60131574.diff LO

[clang] 75c22b3 - [clang][dataflow] Add a transfer function for CXXBoolLiteralExpr

Author: Stanislav Gatev Date: 2022-01-26T15:33:00Z New Revision: 75c22b382f2a7b0bb9499215a3d64e146e3f02cc URL: https://github.com/llvm/llvm-project/commit/75c22b382f2a7b0bb9499215a3d64e146e3f02cc DIFF: https://github.com/llvm/llvm-project/commit/75c22b382f2a7b0bb9499215a3d64e146e3f02cc.diff LO

[clang] d3597ec - [clang][dataflow] Enable merging distinct values in Environment::join

Author: Stanislav Gatev Date: 2022-01-26T11:40:51Z New Revision: d3597ec0aaad11a670f45b42428628531d4b2c05 URL: https://github.com/llvm/llvm-project/commit/d3597ec0aaad11a670f45b42428628531d4b2c05 DIFF: https://github.com/llvm/llvm-project/commit/d3597ec0aaad11a670f45b42428628531d4b2c05.diff LO

[clang] 188d28f - [clang][dataflow] Assign aggregate storage locations to union stmts

Author: Stanislav Gatev Date: 2022-01-26T10:36:49Z New Revision: 188d28f73cc7b7891c182a85fdb6e274123b5b69 URL: https://github.com/llvm/llvm-project/commit/188d28f73cc7b7891c182a85fdb6e274123b5b69 DIFF: https://github.com/llvm/llvm-project/commit/188d28f73cc7b7891c182a85fdb6e274123b5b69.diff LO

[clang] 64ba462 - [clang][dataflow] Add a transfer function for InitListExpr

Author: Stanislav Gatev Date: 2022-01-25T16:28:15Z New Revision: 64ba462b6e398bdb33464963f7d6274320f84370 URL: https://github.com/llvm/llvm-project/commit/64ba462b6e398bdb33464963f7d6274320f84370 DIFF: https://github.com/llvm/llvm-project/commit/64ba462b6e398bdb33464963f7d6274320f84370.diff LO

[clang] c95cb4d - [clang][dataflow] Intersect ExprToLoc when joining environments

Author: Stanislav Gatev Date: 2022-01-20T14:30:17Z New Revision: c95cb4de1b6674e52aebdb7d02c6431843001282 URL: https://github.com/llvm/llvm-project/commit/c95cb4de1b6674e52aebdb7d02c6431843001282 DIFF: https://github.com/llvm/llvm-project/commit/c95cb4de1b6674e52aebdb7d02c6431843001282.diff LO

[clang] 8e53ae3 - [clang][dataflow] Add a transfer function for conditional operator

Author: Stanislav Gatev Date: 2022-01-19T16:25:05Z New Revision: 8e53ae3d37190c7442f87915a49f3f292d1d9956 URL: https://github.com/llvm/llvm-project/commit/8e53ae3d37190c7442f87915a49f3f292d1d9956 DIFF: https://github.com/llvm/llvm-project/commit/8e53ae3d37190c7442f87915a49f3f292d1d9956.diff LO

[clang] acd4b03 - Revert "Revert "[clang][dataflow] Add a test to justify skipping past references in UO_Deref""

Author: Stanislav Gatev Date: 2022-01-19T10:00:01Z New Revision: acd4b0359097dd8ad166d569a4566879e82a2793 URL: https://github.com/llvm/llvm-project/commit/acd4b0359097dd8ad166d569a4566879e82a2793 DIFF: https://github.com/llvm/llvm-project/commit/acd4b0359097dd8ad166d569a4566879e82a2793.diff LO

[clang] a026204 - Revert "[clang][dataflow] Add a test to justify skipping past references in UO_Deref"

Author: Stanislav Gatev Date: 2022-01-19T06:46:37Z New Revision: a0262043bb87fdef68c817722de320a5dd9eb9c9 URL: https://github.com/llvm/llvm-project/commit/a0262043bb87fdef68c817722de320a5dd9eb9c9 DIFF: https://github.com/llvm/llvm-project/commit/a0262043bb87fdef68c817722de320a5dd9eb9c9.diff LO

[clang] 68226e5 - [clang][dataflow] Add a test to justify skipping past references in UO_Deref

Author: Stanislav Gatev Date: 2022-01-18T21:27:43Z New Revision: 68226e572f41105446413b12ee95ab5540b2b6ac URL: https://github.com/llvm/llvm-project/commit/68226e572f41105446413b12ee95ab5540b2b6ac DIFF: https://github.com/llvm/llvm-project/commit/68226e572f41105446413b12ee95ab5540b2b6ac.diff LO

[clang] d7c19f9 - [clang][dataflow] Remove obsolete FIXME

Author: Stanislav Gatev Date: 2022-01-18T15:16:44Z New Revision: d7c19f947e0c93369e71404c33db836e3b6ac3f7 URL: https://github.com/llvm/llvm-project/commit/d7c19f947e0c93369e71404c33db836e3b6ac3f7 DIFF: https://github.com/llvm/llvm-project/commit/d7c19f947e0c93369e71404c33db836e3b6ac3f7.diff LO

[clang] 59e031f - [clang][dataflow] Add transfer function for addrof

Author: Stanislav Gatev Date: 2022-01-18T11:23:08Z New Revision: 59e031ff9057b103c73f22bebc32304ee79fa139 URL: https://github.com/llvm/llvm-project/commit/59e031ff9057b103c73f22bebc32304ee79fa139 DIFF: https://github.com/llvm/llvm-project/commit/59e031ff9057b103c73f22bebc32304ee79fa139.diff LO

[clang] 782eced - [clang][dataflow] Replace initValueInStorageLocation with createValue

Author: Stanislav Gatev Date: 2022-01-18T07:09:35Z New Revision: 782eced561492c74f7b4409d6ee7eee84a1647c7 URL: https://github.com/llvm/llvm-project/commit/782eced561492c74f7b4409d6ee7eee84a1647c7 DIFF: https://github.com/llvm/llvm-project/commit/782eced561492c74f7b4409d6ee7eee84a1647c7.diff LO

[clang] 37e6496 - [clang][dataflow] Add transfer functions for bind temporary and static cast

Author: Stanislav Gatev Date: 2022-01-16T17:41:02Z New Revision: 37e6496c800b33cbf6f7967d90eab53327147478 URL: https://github.com/llvm/llvm-project/commit/37e6496c800b33cbf6f7967d90eab53327147478 DIFF: https://github.com/llvm/llvm-project/commit/37e6496c800b33cbf6f7967d90eab53327147478.diff LO

[clang] 7d941d6 - [clang][dataflow] Add transfer functions for constructors

Author: Stanislav Gatev Date: 2022-01-14T14:58:01Z New Revision: 7d941d6d21e91e8466bf200da094d027338b92fa URL: https://github.com/llvm/llvm-project/commit/7d941d6d21e91e8466bf200da094d027338b92fa DIFF: https://github.com/llvm/llvm-project/commit/7d941d6d21e91e8466bf200da094d027338b92fa.diff LO

[clang] 963f400 - [clang][dataflow] Add transfer functions for initializers

Author: Stanislav Gatev Date: 2022-01-12T21:51:39Z New Revision: 963f40051a4216936b47dad56765d60b64b7840d URL: https://github.com/llvm/llvm-project/commit/963f40051a4216936b47dad56765d60b64b7840d DIFF: https://github.com/llvm/llvm-project/commit/963f40051a4216936b47dad56765d60b64b7840d.diff LO

[clang] 99f7d55 - [clang][dataflow] Add transfer functions for data members and this pointers

Author: Stanislav Gatev Date: 2022-01-12T07:38:26Z New Revision: 99f7d55cd56566d23ee222e272729e05535c URL: https://github.com/llvm/llvm-project/commit/99f7d55cd56566d23ee222e272729e05535c DIFF: https://github.com/llvm/llvm-project/commit/99f7d55cd56566d23ee222e272729e05535c.diff LO

[clang] e7481f6 - [clang][dataflow] Add transfer functions for assignment

Author: Stanislav Gatev Date: 2022-01-10T19:35:50Z New Revision: e7481f6ee591678e3a70569c2e87597f148adb3e URL: https://github.com/llvm/llvm-project/commit/e7481f6ee591678e3a70569c2e87597f148adb3e DIFF: https://github.com/llvm/llvm-project/commit/e7481f6ee591678e3a70569c2e87597f148adb3e.diff LO

[clang] af7bc39 - [clang][dataflow] Add transfer function for VarDecl statements

Author: Stanislav Gatev Date: 2022-01-04T09:16:01Z New Revision: af7bc39ba17d8c5250830e96881fb7211c7576bb URL: https://github.com/llvm/llvm-project/commit/af7bc39ba17d8c5250830e96881fb7211c7576bb DIFF: https://github.com/llvm/llvm-project/commit/af7bc39ba17d8c5250830e96881fb7211c7576bb.diff LO

[clang] b5c5d89 - [clang][dataflow] Add support for noreturn destructor calls

Author: Stanislav Gatev Date: 2021-12-28T07:04:39Z New Revision: b5c5d8912e07218e3a6a0f8d1d9f7b436046c5bc URL: https://github.com/llvm/llvm-project/commit/b5c5d8912e07218e3a6a0f8d1d9f7b436046c5bc DIFF: https://github.com/llvm/llvm-project/commit/b5c5d8912e07218e3a6a0f8d1d9f7b436046c5bc.diff LO