Displaying 2 results from an estimated 2 matches for "e8cab164".
2012 Oct 02
0
[LLVMdev] Inter-procedural program flow analysis
...___
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20121002/e8cab164/attachment.html>
2012 Oct 02
2
[LLVMdev] Inter-procedural program flow analysis
Is there any inter-procedural analysis that could tell me if some
BasicBlock Y is guaranteed to execute based on my knowledge that BasicBlock
X will execute? For example:
extern int x;
void foo() { }
int main() {
if (x) {
foo();
} else {
foo();
}
}
I want to be told that the entry block of foo is guaranteed to be