[clang] Reapply "[clang][analyzer] StreamChecker: Model getc, vfscanf, putc, … (PR #83281)

Alejandro Álvarez Ayllón via cfe-commits cfe-commits at lists.llvm.org
Thu Feb 29 00:00:13 PST 2024


alejandro-alvarez-sonarsource wrote:

@balazske @steakhal I broke some tests on aarch64 since there `__builtin_valist` is a struct and not a pointer to struct, so `lookupFn` was not matching `vfprintf` nor `vfscanf`, and the NULL pointer dereference triggered on the `fclose`. I have fixed that and modified `stream.c` to always run with four different target architectures, to make sure different `va_list` are handled.

Not sure if that is the best way, though.

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


More information about the cfe-commits mailing list