================
@@ -492,11 +492,13 @@ void check_required_cast() {
void check_cast_behavior(OSObject *obj) {
OSArray *arr1 = OSDynamicCast(OSArray, obj);
- clang_analyzer_eval(arr1 == obj); // expected-warning{{TRUE}}
- // expected-note@-1{{TRUE}}
- // expected-note@-2{{Assuming 'arr1' is
not equal to 'obj'}}
- // expected-warning@-3{{FALSE}}
- // expected-note@-4 {{FALSE}}
+ clang_analyzer_eval(arr1 == obj); // #check_cast_behavior_1
+ // expected-warning@#check_cast_behavior_1 {{TRUE}}
+ // expected-note@#check_cast_behavior_1 {{TRUE}}
+ // expected-note@#check_cast_behavior_1{{Assuming 'arr1' is equal to 'obj'}}
----------------
steakhal wrote:
I went back to this comment to double check, and I can confirm what's happening.
On the baseline revision, the node for `clang_analyzer_eval(arr2 == obj)` has
two parents:
1) Where `arr2` is known to be `0 (loc)`, by an eager assumption by
`clang_analyzer_eval(arr1 == obj)`.
2) Where `arr2` is known to be non-null, by the same eager assumption. However,
for this we already had a message as `Assuming 'arr1' is not equal to 'obj'`
(see the baseline test).
After this PR, the exploded graph would no longer have two parents for the
given bug-report, so it can't couldn't chose the same parent node in the
exploded graph when constructing the bug report. This means that on that path,
it will see an eager assumption to `true`, and craft a piece message
accordingly.
This means, that the bug report construction could have chosen the other parent
for constructing the bug report, and have the same behavior as demonstrated
after the PR.
The next question could be, why are the following exploded nodes not merged
after this PR?
On the baseline it looks like this, (notice the two parents):
---
Anyways, this debunks the theory that this PR changes this test in any
meaningful/practical ways - as far as I can see it.
https://github.com/llvm/llvm-project/pull/69057
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
