[clang] 9474709 - [clang][dataflow] Remove deprecated `transfer(const Stmt *, ...)` API.

Author: Wei Yi Tee Date: 2022-09-21T11:06:21Z New Revision: 94747094c782d8a45b61414717df8308f8a25919 URL: https://github.com/llvm/llvm-project/commit/94747094c782d8a45b61414717df8308f8a25919 DIFF: https://github.com/llvm/llvm-project/commit/94747094c782d8a45b61414717df8308f8a25919.diff LOG: [c

[clang] 003566c - [clang][dataflow] Remove deprecated overloads of `checkDataflow` in `TestingSupport.h`.

Author: Wei Yi Tee Date: 2022-09-21T10:36:44Z New Revision: 003566cb1faec315f86e69f57da3998ff3f922aa URL: https://github.com/llvm/llvm-project/commit/003566cb1faec315f86e69f57da3998ff3f922aa DIFF: https://github.com/llvm/llvm-project/commit/003566cb1faec315f86e69f57da3998ff3f922aa.diff LOG: [c

[clang] 88210b8 - [clang][dataflow] Refactor `clang/Analysis/FlowSensitive/MatchSwitchTest.cpp`.

Author: Wei Yi Tee Date: 2022-09-19T19:10:41Z New Revision: 88210b81eed803598afeeaa2a60eb26ddbb65435 URL: https://github.com/llvm/llvm-project/commit/88210b81eed803598afeeaa2a60eb26ddbb65435 DIFF: https://github.com/llvm/llvm-project/commit/88210b81eed803598afeeaa2a60eb26ddbb65435.diff LOG: [c

[clang] 41d52c5 - [clang][dataflow] Modify `transfer` in `DataflowModel` to take `CFGElement` as input instead of `Stmt`.

Author: Wei Yi Tee Date: 2022-09-19T18:40:29Z New Revision: 41d52c5a7f7ad1acf8e84ad6d7f04813c1a5a7ec URL: https://github.com/llvm/llvm-project/commit/41d52c5a7f7ad1acf8e84ad6d7f04813c1a5a7ec DIFF: https://github.com/llvm/llvm-project/commit/41d52c5a7f7ad1acf8e84ad6d7f04813c1a5a7ec.diff LOG: [c

[clang] cf94c52 - [clang][dataflow] Replace `transfer(const Stmt *, ...)` with `transfer(const CFGElement *, ...)` in `clang/Analysis/FlowSensitive`.

Author: Wei Yi Tee Date: 2022-09-19T18:06:57Z New Revision: cf94c52e35f2daf4e4caaeb93648f4b5413b557a URL: https://github.com/llvm/llvm-project/commit/cf94c52e35f2daf4e4caaeb93648f4b5413b557a DIFF: https://github.com/llvm/llvm-project/commit/cf94c52e35f2daf4e4caaeb93648f4b5413b557a.diff LOG: [c

[clang] 7538b36 - [clang][dataflow] Replace usage of deprecated functions with the optional check

Author: Wei Yi Tee Date: 2022-09-19T17:33:25Z New Revision: 7538b3604519b03d32221cdcc346cc1c181b50fb URL: https://github.com/llvm/llvm-project/commit/7538b3604519b03d32221cdcc346cc1c181b50fb DIFF: https://github.com/llvm/llvm-project/commit/7538b3604519b03d32221cdcc346cc1c181b50fb.diff LOG: [c

[clang] a4f8e3d - Revert "[clang][dataflow] Replace `transfer(const Stmt *, ...)` with `transfer(const CFGElement *, ...)` in `Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel`."

Author: Wei Yi Tee Date: 2022-09-16T18:07:35Z New Revision: a4f8e3d24087356ba75eb6f3bd4e1af436c83270 URL: https://github.com/llvm/llvm-project/commit/a4f8e3d24087356ba75eb6f3bd4e1af436c83270 DIFF: https://github.com/llvm/llvm-project/commit/a4f8e3d24087356ba75eb6f3bd4e1af436c83270.diff LOG: Re

[clang] 41f235d - [clang][dataflow] Replace `transfer(const Stmt *, ...)` with `transfer(const CFGElement *, ...)` in `Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel`.

Author: Wei Yi Tee Date: 2022-09-16T17:54:12Z New Revision: 41f235d26887946f472d71a8417507c35d5f9074 URL: https://github.com/llvm/llvm-project/commit/41f235d26887946f472d71a8417507c35d5f9074 DIFF: https://github.com/llvm/llvm-project/commit/41f235d26887946f472d71a8417507c35d5f9074.diff LOG: [c

[clang] 14757d5 - [clang][dataflow] Refactor `TypeErasedDataflowAnalysisTest` - replace usage of the deprecated overload of `checkDataflow`.

Author: Wei Yi Tee Date: 2022-09-01T19:17:37Z New Revision: 14757d5b845bdba0ea101b4cff2efc07261c898b URL: https://github.com/llvm/llvm-project/commit/14757d5b845bdba0ea101b4cff2efc07261c898b DIFF: https://github.com/llvm/llvm-project/commit/14757d5b845bdba0ea101b4cff2efc07261c898b.diff LOG: [c

[clang] 8dd14c4 - [clang][dataflow] Use `StringMap` for storing analysis states at annotated points instead of `vector>`.

Author: Wei Yi Tee Date: 2022-09-01T14:09:43Z New Revision: 8dd14c427ae5c86cc2af4b8cac05b41bc4a49e86 URL: https://github.com/llvm/llvm-project/commit/8dd14c427ae5c86cc2af4b8cac05b41bc4a49e86 DIFF: https://github.com/llvm/llvm-project/commit/8dd14c427ae5c86cc2af4b8cac05b41bc4a49e86.diff LOG: [c

[clang] 5a4aece - [clang][dataflow] Add `SetupTest` parameter for `AnalysisInputs`.

Author: Wei Yi Tee Date: 2022-09-01T13:48:29Z New Revision: 5a4aece76de7c73b9adf29b0c3f4e8641575cee1 URL: https://github.com/llvm/llvm-project/commit/5a4aece76de7c73b9adf29b0c3f4e8641575cee1 DIFF: https://github.com/llvm/llvm-project/commit/5a4aece76de7c73b9adf29b0c3f4e8641575cee1.diff LOG: [c

[clang] db898d4 - [clang][dataflow] Refactor `TestingSupport.h`

Author: Wei Yi Tee Date: 2022-09-01T13:21:34Z New Revision: db898d43b08e13f5c1fda92b8341cd1709f5af21 URL: https://github.com/llvm/llvm-project/commit/db898d43b08e13f5c1fda92b8341cd1709f5af21 DIFF: https://github.com/llvm/llvm-project/commit/db898d43b08e13f5c1fda92b8341cd1709f5af21.diff LOG: [c

[clang] d931ac9 - [clang][dataflow] Generalise match switch utility to other AST types and add a `CFGMatchSwitch` which currently handles `CFGStmt` and `CFGInitializer`.

Author: Wei Yi Tee Date: 2022-09-01T10:15:53Z New Revision: d931ac9e27cab964c65078c80e4488185c62b3d8 URL: https://github.com/llvm/llvm-project/commit/d931ac9e27cab964c65078c80e4488185c62b3d8 DIFF: https://github.com/llvm/llvm-project/commit/d931ac9e27cab964c65078c80e4488185c62b3d8.diff LOG: [c

[clang] 74c8d9d - Revert "[clang][dataflow] Generalise match switch utility to other AST types and add a `CFGMatchSwitch` which currently handles `CFGStmt` and `CFGInitializer`."

Author: Wei Yi Tee Date: 2022-08-31T18:49:56Z New Revision: 74c8d9d5fc83868977d497c4376296bc27319622 URL: https://github.com/llvm/llvm-project/commit/74c8d9d5fc83868977d497c4376296bc27319622 DIFF: https://github.com/llvm/llvm-project/commit/74c8d9d5fc83868977d497c4376296bc27319622.diff LOG: Re

[clang] c9033ee - [clang][dataflow] Generalise match switch utility to other AST types and add a `CFGMatchSwitch` which currently handles `CFGStmt` and `CFGInitializer`.

Author: Wei Yi Tee Date: 2022-08-31T17:02:07Z New Revision: c9033eeb2e59c0157b84adfc6b0fe345f6f03113 URL: https://github.com/llvm/llvm-project/commit/c9033eeb2e59c0157b84adfc6b0fe345f6f03113 DIFF: https://github.com/llvm/llvm-project/commit/c9033eeb2e59c0157b84adfc6b0fe345f6f03113.diff LOG: [c

[clang] 9e842dd - [clang][dataflow] Extend transfer functions for other `CFGElement`s

Author: Wei Yi Tee Date: 2022-08-31T10:23:53Z New Revision: 9e842dd4bd551c42951d1a56bb9d9eef1fa6c385 URL: https://github.com/llvm/llvm-project/commit/9e842dd4bd551c42951d1a56bb9d9eef1fa6c385 DIFF: https://github.com/llvm/llvm-project/commit/9e842dd4bd551c42951d1a56bb9d9eef1fa6c385.diff LOG: [c

[clang] d346eb7 - [clang] Fix ambiguous use of `report_fatal_error`.

Author: Wei Yi Tee Date: 2022-08-29T15:32:49Z New Revision: d346eb7bf08c7780bb80426eabc6b5f81490e9ae URL: https://github.com/llvm/llvm-project/commit/d346eb7bf08c7780bb80426eabc6b5f81490e9ae DIFF: https://github.com/llvm/llvm-project/commit/d346eb7bf08c7780bb80426eabc6b5f81490e9ae.diff LOG: [c

[clang] fb9c1b8 - Revert "[clang][dataflow] Extend transfer functions for other `CFGElement`s"

Author: Wei Yi Tee Date: 2022-08-26T22:41:20Z New Revision: fb9c1b8938fdc37705aa2e71688c4a061cfb2cd5 URL: https://github.com/llvm/llvm-project/commit/fb9c1b8938fdc37705aa2e71688c4a061cfb2cd5 DIFF: https://github.com/llvm/llvm-project/commit/fb9c1b8938fdc37705aa2e71688c4a061cfb2cd5.diff LOG: Re

[clang] 4b815eb - [clang][dataflow] Extend transfer functions for other `CFGElement`s

Author: Wei Yi Tee Date: 2022-08-26T22:21:29Z New Revision: 4b815eb4fde0202434c6395973578349767b3f15 URL: https://github.com/llvm/llvm-project/commit/4b815eb4fde0202434c6395973578349767b3f15 DIFF: https://github.com/llvm/llvm-project/commit/4b815eb4fde0202434c6395973578349767b3f15.diff LOG: [c

[clang] b0befe3 - [clang][dataflow] Mark `getDeclCtx` function in dataflow `Environment` `const`.

Author: Wei Yi Tee Date: 2022-08-19T20:07:21Z New Revision: b0befe3ac1baf5734a975d0bdbdb941d1c3b8364 URL: https://github.com/llvm/llvm-project/commit/b0befe3ac1baf5734a975d0bdbdb941d1c3b8364 DIFF: https://github.com/llvm/llvm-project/commit/b0befe3ac1baf5734a975d0bdbdb941d1c3b8364.diff LOG: [c

[clang] dbb95c2 - [clang][dataflow] Debug string for value kinds.

Author: Wei Yi Tee Date: 2022-08-19T15:00:01Z New Revision: dbb95c2a851c64e50ca9801a331cb871da88be49 URL: https://github.com/llvm/llvm-project/commit/dbb95c2a851c64e50ca9801a331cb871da88be49 DIFF: https://github.com/llvm/llvm-project/commit/dbb95c2a851c64e50ca9801a331cb871da88be49.diff LOG: [c

[clang] d09d4bd - [clang][dataflow] Don't crash when caller args are missing storage locations

Author: Sam Estep Date: 2022-08-11T13:00:42Z New Revision: d09d4bd66c864d58b29d74918a4a164f3ad905de URL: https://github.com/llvm/llvm-project/commit/d09d4bd66c864d58b29d74918a4a164f3ad905de DIFF: https://github.com/llvm/llvm-project/commit/d09d4bd66c864d58b29d74918a4a164f3ad905de.diff LOG: [cl

[clang] eb91fd5 - [clang][dataflow] Analyze constructor bodies

Author: Sam Estep Date: 2022-08-11T12:46:20Z New Revision: eb91fd5cbc6995099bd38c04c839686cbdd18b92 URL: https://github.com/llvm/llvm-project/commit/eb91fd5cbc6995099bd38c04c839686cbdd18b92 DIFF: https://github.com/llvm/llvm-project/commit/eb91fd5cbc6995099bd38c04c839686cbdd18b92.diff LOG: [cl

[clang] 2cb5144 - [clang][dataflow] Store DeclContext of block being analysed in Environment if available.

Author: Wei Yi Tee Date: 2022-08-11T07:36:57Z New Revision: 2cb51449f0d9ed06de87b4a47b5074eb6eec2e23 URL: https://github.com/llvm/llvm-project/commit/2cb51449f0d9ed06de87b4a47b5074eb6eec2e23 DIFF: https://github.com/llvm/llvm-project/commit/2cb51449f0d9ed06de87b4a47b5074eb6eec2e23.diff LOG: [c

[clang] 8a4c40b - [clang][dataflow] Store DeclContext of block being analysed in Environment if available.

Author: Wei Yi Tee Date: 2022-08-10T11:27:03Z New Revision: 8a4c40bfe8e6605ffc9d866f8620618dfdde2875 URL: https://github.com/llvm/llvm-project/commit/8a4c40bfe8e6605ffc9d866f8620618dfdde2875 DIFF: https://github.com/llvm/llvm-project/commit/8a4c40bfe8e6605ffc9d866f8620618dfdde2875.diff LOG: [c

[clang] b8d83e8 - [clang][dataflow] Generate readable form of input and output of satisfiability checking.

Author: Wei Yi Tee Date: 2022-07-13T11:58:51Z New Revision: b8d83e8004e4b70fa81e8582eb9f8443a0f3758c URL: https://github.com/llvm/llvm-project/commit/b8d83e8004e4b70fa81e8582eb9f8443a0f3758c DIFF: https://github.com/llvm/llvm-project/commit/b8d83e8004e4b70fa81e8582eb9f8443a0f3758c.diff LOG: [c

[clang] 3ec2b2f - [clang][dataflow] Rename `Status` field in a `Solver::Result` struct to `SATCheckStatus`.

Author: Wei Yi Tee Date: 2022-07-13T11:40:37Z New Revision: 3ec2b2f4ec3205a5b11c083b80566292d6ee2ecb URL: https://github.com/llvm/llvm-project/commit/3ec2b2f4ec3205a5b11c083b80566292d6ee2ecb DIFF: https://github.com/llvm/llvm-project/commit/3ec2b2f4ec3205a5b11c083b80566292d6ee2ecb.diff LOG: [c

[clang] c9666d2 - [clang][dataflow] Generate readable form of boolean values.

Author: Wei Yi Tee Date: 2022-07-13T10:35:17Z New Revision: c9666d2339e5e11fa4f2de2e0294948b871c50ab URL: https://github.com/llvm/llvm-project/commit/c9666d2339e5e11fa4f2de2e0294948b871c50ab DIFF: https://github.com/llvm/llvm-project/commit/c9666d2339e5e11fa4f2de2e0294948b871c50ab.diff LOG: [c

[clang] 1e9cd04 - [clang][dataflow] Refactor boolean creation as a test utility.

Author: Wei Yi Tee Date: 2022-07-13T10:35:17Z New Revision: 1e9cd04d7ba67c48a783bde217f97ea6679053e4 URL: https://github.com/llvm/llvm-project/commit/1e9cd04d7ba67c48a783bde217f97ea6679053e4 DIFF: https://github.com/llvm/llvm-project/commit/1e9cd04d7ba67c48a783bde217f97ea6679053e4.diff LOG: [c

[clang] 632de85 - [clang][dataflow] Refactor boolean creation as a test utility.

Author: Wei Yi Tee Date: 2022-07-13T10:15:06Z New Revision: 632de855a0420bf6ea56fc8b4727c64a9823a485 URL: https://github.com/llvm/llvm-project/commit/632de855a0420bf6ea56fc8b4727c64a9823a485 DIFF: https://github.com/llvm/llvm-project/commit/632de855a0420bf6ea56fc8b4727c64a9823a485.diff LOG: [c

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

Author: Wei Yi Tee Date: 2022-07-07T20:21:19Z New Revision: 81e6400d8c03b74d3d6b1db2cf2746cff5de91d7 URL: https://github.com/llvm/llvm-project/commit/81e6400d8c03b74d3d6b1db2cf2746cff5de91d7 DIFF: https://github.com/llvm/llvm-project/commit/81e6400d8c03b74d3d6b1db2cf2746cff5de91d7.diff LOG: [c