[clang] [clang][analyzer] Support `fflush` in the StreamChecker (PR #74296)

Ben Shi via cfe-commits cfe-commits at lists.llvm.org
Tue Dec 5 23:51:23 PST 2023

Previous message: [clang] [clang][analyzer] Support `fflush` in the StreamChecker (PR #74296)
Next message: [clang] [clang][analyzer] Support `fflush` in the StreamChecker (PR #74296)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

benshi001 wrote:

> For now only the pre-condition is added, the `evalFflush` function is missing.

I have also added `evalFflush`.

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

Previous message: [clang] [clang][analyzer] Support `fflush` in the StreamChecker (PR #74296)
Next message: [clang] [clang][analyzer] Support `fflush` in the StreamChecker (PR #74296)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list