[clang] [analyzer] Refine invalidation caused by `fread` (PR #93408)

[Balazs Benics via cfe-commits]

steakhal wrote:

> Hi @steakhal , this change seems to have exposed by div/0 error in a very particular corner we came across after integrating this change. Could you try this case to see if can repro?

Yea, it seems to crash. I'll fix it once I have some time. Probably early next week if I can't spare some time during the weekend.
Thanks for raising this.

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