[clang] [analyzer] Fix crash of StreamChecker when eval calling 'fopen' (PR #100990)

DonĂ¡t Nagy via cfe-commits cfe-commits at lists.llvm.org
Mon Jul 29 02:35:27 PDT 2024


================
@@ -1766,13 +1770,6 @@ are assumed to succeed.)
    fclose(p);
  }
 
-**Limitations**
-
-The checker does not track the correspondence between integer file descriptors
-and ``FILE *`` pointers. Operations on standard streams like ``stdin`` are not
-treated specially and are therefore often not recognized (because these streams
-are usually not opened explicitly by the program, and are global variables).
----------------
NagyDonat wrote:

Hmm, perhaps keep a note saying "This checker does not track operations that use integer file descriptors instead of `FILE *` pointers". (If I recall correctly this is true and might be relevant for someone who's used to work with low-level stuff.) However it's also completely fine (from my POV) if you delete the whole Limitations section.



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


More information about the cfe-commits mailing list