efriedma-quic wrote:

There's a stupid edge case here which this doesn't take into account:


```
int f() {
  int *p = 0;
label:
  if (p) return *p;
  p = &(int){10};
  goto label;
}
```

https://github.com/llvm/llvm-project/pull/219045
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to