llvm / llvm/llvm-project

[LifetimeSafety] UAFs via pointer-to-pointer and reference-to-pointer dereferencing are not diagnosed

Open
#176,291 1 comment 0 reactions 0 assignees View on GitHub
clang:temporal-safety
Dominant language
LLVM
Stars
40.5k
Forks
18.7k
PR merge metrics
PR metrics pending

Description

https://godbolt.org/z/ezK5zbq48

`-Werror=experimental-lifetime-safety -Werror=experimental-lifetime-safety-cross-tu-suggestions -Wexperimental-lifetime-safety-intra-tu-suggestions -Xclang -fexperimental-lifetime-safety -Xclang -fexperimental-lifetime-safety-inference -std=c++20 -fsanitize=address,undefined`

```cpp
int main() {
int *p{};
int *&pp{p};
{
int a = 42;
p = &a;
}
auto result = *pp;
}
```

Might be related to https://github.com/llvm/llvm-project/pull/168344

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.