Highlight lifetimebound function calls part of origin flow chain
Open
clang:temporal-safety
- Dominant language
- LLVM
- Stars
- 40.5k
- Forks
- 18.7k
- PR merge metrics
- PR metrics pending
Description
```cpp
int* max(int* a [[clang::lifetimebound]], int* b [[clang::lifetimebound]]);
int* foo() {
int a = 1, b = 2;
return max(&a, &b);
}
```
When highlighting that `max` is an alias to `a` and `b`. Also say that this is because the arg is `lifetimebound`. This allows to clearly see inter-procedural lifetime contracts responsible for the origin flow.
Contributor guide
Assessment
This issue has not been assessed yet.