================
@@ -624,6 +624,13 @@ Warning to detect invalidation of references.
}];
}
+def LifetimeSafetyLifetimeboundViolation :
DiagGroup<"lifetime-safety-lifetimebound-violation"> {
+ code Documentation = [{
+Detects parameters marked as [[clang::lifetimebound]] for which we could not
verify that the return value can be lifetime bound to them.
+This may contain false-positives, e.g. when we fail to track origin
propagation for the return value.
----------------
Xazax-hun wrote:
```suggestion
This warning may produce false-positives diagnostics when it cannot fully model
the code.
```
I think the terms like `origin propagation` are for us. When we target our
users let's try to keep things a bit more high level.
https://github.com/llvm/llvm-project/pull/196144
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
