balazske added a comment. It would be more simple to handle the standard streams in `StreamChecker` only. There it is possible to detect standard streams (should be variables with the known names) as arguments to functions. If `StreamChecker` eliminates the failure branch of `fileno` it will disappear from the analysis (order of checker callbacks does not matter, at the end only the correct branch remains). If stream checker is not enabled we will still get the failure for `fileno(stdin)`. `StdLibraryFunctionsChecker` does not have a mechanism to detect special variables to arguments, probably it is possible to implement with a special type of argument constraint.
Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D154423/new/ https://reviews.llvm.org/D154423 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
