[llvm-branch-commits] [clang] [analyzer] Only underline the exact parameter that is bound to the return value in UseAfterLifetimeEnd (PR #215651)

Gábor Horváth via llvm-branch-commits llvm-branch-commits at lists.llvm.org
Thu Aug 13 03:47:15 PDT 2026


https://github.com/Xazax-hun approved this pull request.

Would be nice to have more tests, the one I was thinking of:


```
int multi_params_annotated(int *p_one [[clang::lifetimebound]], int *p_two [[clang::lifetimebound]]);
int global;
int test_multi_param_highlight() {
  int local_two = 2;
  return multi_params_annotated(&global, &local_two);
```

This would verify that the first argument would not get highlighted, even though it is actually lifetimebound. 

https://github.com/llvm/llvm-project/pull/215651


More information about the llvm-branch-commits mailing list