C++: Actually fix incorrect annotation

This commit is contained in:
Mathias Vorreiter Pedersen
2022-02-24 11:06:57 +00:00
committed by GitHub
parent ef5f16ddd3
commit e4af34253a

View File

@@ -77,7 +77,7 @@ int test_pointer_arith_good_1() {
int x;
address_escapes_through_pointer_arith();
s101.p = &x;
return *s101.p; // GOOD [FALSE POSITIVE]
return *s101.p; // GOOD
}
int test_pointer_arith_good_2(bool b) {
@@ -196,4 +196,4 @@ void test_not_escape_through_array() {
int x20 = s1.a1[0]; // GOOD
int x21 = s1.a2[0][1]; // GOOD
int* x22 = s1.a3[5][2]; // GOOD
}
}