NoQ added a comment.
This problem is fairly complicated. We clearly need both behaviors (sometimes
track until the definition, sometimes track until the collapse-to-null), and
it's not clear to me right now when exactly do we need each of them. This is
also not a high priority for GSoC because
Charusso marked 8 inline comments as done.
Charusso added inline comments.
Comment at: clang/test/Analysis/diagnostics/deref-track-symbolic-region.c:14
int m = 0;
- syz.x = foo(); // expected-note{{Value assigned to 'syz.x'}}
Here.
Commen
