[clang] [analyzer] Assume the result of 'fopen' can't alias with 'std{in,out,err}' (PR #100085)
Aaron Ballman via cfe-commits
cfe-commits at lists.llvm.org
Tue Jul 23 08:50:29 PDT 2024
AaronBallman wrote:
> @AaronBallman You are technically right. But it makes more sense to assume they don't alias. Luckily, in CSA, we don't need to be perfect, and covering the generic scenario usually leads to better user experience.
>
> That said, I'll add the example you suggested.
Okay, that seems reasonable enough to me, thank you!
https://github.com/llvm/llvm-project/pull/100085
More information about the cfe-commits
mailing list