=?utf-8?q?Bal=C3=A1zs_K=C3=A9ri?= <[email protected]>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/[email protected]>
================
@@ -268,6 +268,16 @@ void test_clearerr(FILE *F) {
// expected-warning@-1{{FALSE}}
}
+void test_fileno(FILE *F) {
+ errno = 0;
+ int A = fileno(F);
+ clang_analyzer_eval(F != NULL); // expected-warning{{TRUE}}
+ clang_analyzer_eval(A >= 0); // expected-warning{{TRUE}}
----------------
benshi001 wrote:
It looks better to making the comment lines begin from the same column.
https://github.com/llvm/llvm-project/pull/81842
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
