diff options
| author | Hideto Ueno <uenoku.tokotoko@gmail.com> | 2019-12-29 17:34:08 +0900 |
|---|---|---|
| committer | Hideto Ueno <uenoku.tokotoko@gmail.com> | 2019-12-29 17:43:00 +0900 |
| commit | ef4febd85b543afd264dda34c750b8515c4754e2 (patch) | |
| tree | 127174d0beb7917752364ed708986c0f03ba7ea8 /clang/lib/ASTMatchers/Dynamic/Parser.cpp | |
| parent | a5c96e326a7720f8c983b5b9fd820762f6922346 (diff) | |
| download | bcm5719-llvm-ef4febd85b543afd264dda34c750b8515c4754e2.tar.gz bcm5719-llvm-ef4febd85b543afd264dda34c750b8515c4754e2.zip | |
[Attributor] AAUndefinedBehavior: Check for branches on undef value.
A branch is considered UB if it depends on an undefined / uninitialized value.
At this point this handles simple UB branches in the form: `br i1 undef, ...`
We query `AAValueSimplify` to get a value for the branch condition, so the branch
can be more complicated than just: `br i1 undef, ...`.
Patch By: Stefanos Baziotis (@baziotis)
Reviewers: jdoerfert, sstefan1, uenoku
Reviewed By: uenoku
Differential Revision: https://reviews.llvm.org/D71799
Diffstat (limited to 'clang/lib/ASTMatchers/Dynamic/Parser.cpp')
0 files changed, 0 insertions, 0 deletions
