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

[Donát Nagy via cfe-commits]

================
@@ -717,18 +717,71 @@ const ExplodedNode *StreamChecker::getAcquisitionSite(const ExplodedNode *N,
   return nullptr;
 }
 
+/// Invalidate only the requested elements instead of the whole buffer.
+/// This is basically a refinement of the more generic 'escapeArgs' or
+/// the plain old 'invalidateRegions'.
+/// This only works if the \p StartIndex and \p Count are concrete or
+/// perfectly-constrained.
----------------
NagyDonat wrote:

>  References to other functions are not such important here
Actually, I think it's useful to mention related functions.

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