llvm-project

Commit Graph

Author	SHA1	Message	Date
Wei Yi Tee	41d52c5a7f	[clang][dataflow] Modify `transfer` in `DataflowModel` to take `CFGElement` as input instead of `Stmt`. To keep API of transfer functions consistent. The single use of this transfer function in `ChromiumCheckModel` is also updated. Reviewed By: gribozavr2, sgatev Differential Revision: https://reviews.llvm.org/D133933	2022-09-19 18:40:29 +00:00
Yitzhak Mandelbaum	a36c2dd6d5	[clang][dataflow] Add modeling of Chromium's CHECK functionality Chromium's implementation of assertions (`CHECK`, `DCHECK`, etc.) are not annotated with "noreturn", by default. This patch adds a model of the logical implications of successfully executing one of these assertions. Differential Revision: https://reviews.llvm.org/D121797	2022-03-18 14:39:23 +00:00

Author

SHA1

Message

Date

Wei Yi Tee

41d52c5a7f

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

To keep API of transfer functions consistent.

The single use of this transfer function in `ChromiumCheckModel` is also updated.

Reviewed By: gribozavr2, sgatev

Differential Revision: https://reviews.llvm.org/D133933

2022-09-19 18:40:29 +00:00

Yitzhak Mandelbaum

a36c2dd6d5

[clang][dataflow] Add modeling of Chromium's CHECK functionality

Chromium's implementation of assertions (`CHECK`, `DCHECK`, etc.) are not
annotated with "noreturn", by default. This patch adds a model of the logical
implications of successfully executing one of these assertions.

Differential Revision: https://reviews.llvm.org/D121797

2022-03-18 14:39:23 +00:00

2 Commits