[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