llvm-project

llvm-project copied to clipboard

We could annotate functions such as std::min and similar to enable analysis of

int v = 3;
int &i = std::max(v+1, v);

We can either

1. Add appropriate annotations to libc++
2. Hardcode the specific annotations in clang (i.e. lifetime(ret, {a, b}))
3. Hardcode the fact that inferred annotations are correct, and then infer annotations

fyi @Xazax-hun