mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
These were due to several functions occurring that would have the same TRAP key. By making the functions static the TRAP keys will differ from each other.
46 lines
412 B
C
46 lines
412 B
C
static void always_false_1() {
|
|
if(0) {
|
|
l1:;
|
|
}
|
|
else {
|
|
l2:;
|
|
}
|
|
l3:;
|
|
}
|
|
|
|
static void always_false_2() {
|
|
if(0)
|
|
l1:;
|
|
else
|
|
l2:;
|
|
l3:;
|
|
}
|
|
|
|
static void always_true_1() {
|
|
if(1) {
|
|
l1:;
|
|
}
|
|
else {
|
|
l2:;
|
|
}
|
|
l3:;
|
|
}
|
|
|
|
static void always_true_2() {
|
|
if(1)
|
|
l1:;
|
|
else
|
|
l2:;
|
|
l3:;
|
|
}
|
|
|
|
static void normal(int x, int y) {
|
|
if(x == y) {
|
|
l1:;
|
|
}
|
|
else {
|
|
l2:;
|
|
}
|
|
l3:;
|
|
}
|