llvm / llvm/llvm-project

Highlight lifetimebound function calls part of origin flow chain

Open
#199,667 2 comments 0 reactions 1 assignee Claimed by @iitianpushkar View on GitHub
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.