[clang] [llvm] Add metadata for const C/C++ scalar types to track initial values of escaped alloca (PR #157676)

[Eli Friedman via cfe-commits]

efriedma-quic wrote:

Consider:

```
void f(int*);
void g() {
  for (int i = 0; i < 10; ++i) {
    const int j = i;
    f(&j);
  }
}
```

There's "one store"... but consider what happens if the loop is unrolled.

-----

There's also more subtle issues; we don't guarantee "one store" actually 
remains a single store instruction.

https://github.com/llvm/llvm-project/pull/157676
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits