mirror of
https://github.com/Gericom/teak-llvm.git
synced 2025-06-21 20:45:53 -04:00
fb4acffbd1
If the return statement is stored, we might as well allow querying against it. Also fix the bug where the return statement is not stored if there is no return value. This change un-merges two ExplodedNodes during call exit when the state is otherwise identical - the CallExitBegin node itself and the "Bind Return Value"-tagged node. And expose the return statement through getStatement helper function. Differential Revision: https://reviews.llvm.org/D42130 llvm-svn: 324052
38 lines
1.2 KiB
C++
38 lines
1.2 KiB
C++
// RUN: %clang_analyze_cc1 -analyzer-checker=debug.AnalysisOrder,debug.ExprInspection -analyzer-config debug.AnalysisOrder:PreCall=true,debug.AnalysisOrder:PostCall=true,debug.AnalysisOrder:LiveSymbols=true %s 2>&1 | FileCheck %s
|
|
|
|
// This test ensures that check::LiveSymbols is called as many times on the
|
|
// path through the second "return" as it is through the first "return"
|
|
// (three), and therefore the two paths were not merged prematurely before the
|
|
// respective return statement is evaluated.
|
|
// The paths would still be merged later, so we'd have only one post-call for
|
|
// foo(), but it is incorrect to merge them in the middle of evaluating two
|
|
// different statements.
|
|
int coin();
|
|
|
|
void foo() {
|
|
int x = coin();
|
|
if (x > 0)
|
|
return;
|
|
else
|
|
return;
|
|
}
|
|
|
|
void bar() {
|
|
foo();
|
|
}
|
|
|
|
// CHECK: LiveSymbols
|
|
// CHECK-NEXT: LiveSymbols
|
|
// CHECK-NEXT: PreCall (foo)
|
|
// CHECK-NEXT: LiveSymbols
|
|
// CHECK-NEXT: LiveSymbols
|
|
// CHECK-NEXT: PreCall (coin)
|
|
// CHECK-NEXT: PostCall (coin)
|
|
// CHECK-NEXT: LiveSymbols
|
|
// CHECK-NEXT: LiveSymbols
|
|
// CHECK-NEXT: LiveSymbols
|
|
// CHECK-NEXT: PostCall (foo)
|
|
// CHECK-NEXT: LiveSymbols
|
|
// CHECK-NEXT: LiveSymbols
|
|
// CHECK-NEXT: LiveSymbols
|