[all-commits] [llvm/llvm-project] 62b2a4: [clang][dataflow] Only skip ExprWithCleanups when ...
Eric Li via All-commits
all-commits at lists.llvm.org
Wed May 4 08:32:46 PDT 2022
Author: Eric Li <li.zhe.hua at gmail.com>
Date: 2022-05-04 (Wed, 04 May 2022)
[clang][dataflow] Only skip ExprWithCleanups when visiting terminators
`IgnoreParenImpCasts` will remove implicit casts to bool
(e.g. `PointerToBoolean`), such that the resulting expression may not
be of the `bool` type. The `cast_or_null<BoolValue>` in
`extendFlowCondition` will then trigger an assert, as the pointer
expression will not have a `BoolValue`.
Instead, we only skip `ExprWithCleanups` and `ParenExpr` nodes, as the
CFG does not emit them.
Differential Revision: https://reviews.llvm.org/D124807
More information about the All-commits