xazax.hun added a comment.
While separate call strings are properly isolated from each other, repeated
analysis of the same call is not:|
while (...)
{
foo(...);
}
In the above code snippet, we will end up analyzing foo with leftover state
from the previous iteration. The analysis can potentially observe state private
to the previous call in the current call. Do I miss something or is this
intentional?
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D130593/new/
https://reviews.llvm.org/D130593
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
