mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
17 lines
210 B
C
17 lines
210 B
C
// semmle-extractor-options: --microsoft
|
|
|
|
void ProbeFunction();
|
|
void sink();
|
|
|
|
void f() {
|
|
int x, y = 0;
|
|
__try {
|
|
ProbeFunction(0);
|
|
x = y;
|
|
ProbeFunction(0);
|
|
}
|
|
__except (0) {
|
|
sink(x);
|
|
}
|
|
}
|