projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f388735) | patch
[Clang][CFG] check children statements of asm goto
authorNick Desaulniers <ndesaulniers@google.com>
Fri, 7 Jan 2022 22:10:57 +0000 (14:10 -0800)
committerNick Desaulniers <ndesaulniers@google.com>
Fri, 7 Jan 2022 22:11:08 +0000 (14:11 -0800)
commit3a604fdbcd5fd9ca41f6659692bb4ad2151c3cf4
tree93a7e0a052ef6b37283e4d494d2a46e9be1d9a99tree | snapshot
parentf38873537bf7e7ef239ffe68b5e5c8b84e0f3758commit | diff
[Clang][CFG] check children statements of asm goto

When performing CFG based analyses, don't forget to check the child
statements of an asm goto, such as the expressions used for
inputs+outputs.

Fixes: https://github.com/llvm/llvm-project/issues/51024
Fixes: https://github.com/ClangBuiltLinux/linux/issues/1439

Reviewed By: void, jyknight, jyu2, efriedma

Differential Revision: https://reviews.llvm.org/D116059
clang/lib/Analysis/CFG.cpp diff | blob | history
clang/lib/Analysis/UninitializedValues.cpp diff | blob | history
clang/test/Analysis/asm-goto.cpp diff | blob | history
clang/test/Analysis/uninit-asm-goto.cpp diff | blob | history
clang/test/Sema/array-bounds-ptr-arith.c diff | blob | history
Domain: System / Toolchain;