diff options
| author | Ted Kremenek <kremenek@apple.com> | 2007-09-11 22:08:24 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2007-09-11 22:08:24 +0000 |
| commit | 3a5aa768c6b5bf0fb2bf9dbe52d288c721d88d68 (patch) | |
| tree | 1fcd9f2732ca853739723a93d7f87e2f700195d6 /llvm/lib/Bitcode/Reader/BitcodeReader.h | |
| parent | 3dd952ba7230409b189937575a9c0912de3cbb87 (diff) | |
| download | llvm-3a5aa768c6b5bf0fb2bf9dbe52d288c721d88d68.zip llvm-3a5aa768c6b5bf0fb2bf9dbe52d288c721d88d68.tar.gz llvm-3a5aa768c6b5bf0fb2bf9dbe52d288c721d88d68.tar.bz2 | |
Added static method "CFG::hasImplicitControlFlow".
This method is used to determine if an expression contains implicit
control-flow, and thus appears in a distinct statement slot in the CFG.
For example:
(1) x = ... ? ... ? ...
logically becomes:
(1) ... ? ... : ... (a unique statement slot for the ternary ?)
(2) x = [E1] (where E1 is actually the ConditionalOperator*)
A client of the CFG, when walking the statement at (2), will encounter
E1. In this case, hasImplicitControlFlow(E1) == true, and the client
will know that the expression E1 is explicitly placed into its own statement
slot to capture the implicit control-flow it has.
llvm-svn: 41868
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.h')
0 files changed, 0 insertions, 0 deletions