[clang] [clang][analyzer] Add function 'fscanf' to StreamChecker. (PR #78180)

=?utf-8?q?Balázs_Kéri?= Message-ID: In-Reply-To: steakhal wrote: > This patch breaks a downstream test, like this: > > ```c++ > void test_fscanf_2() { > FILE *F1 = tmpfile(); > if (!F1) > return; > > int a; > unsigned b; > fscanf(F1, "%d %u", &a, &b); > clang_analyzer_dump_in

[clang] [clang][analyzer] Add function 'fscanf' to StreamChecker. (PR #78180)

balazske wrote: > This patch breaks a downstream test, like this: I think this can be caused by missing the default `evalCall` for `fscanf`, but did not find the exact reason. https://github.com/llvm/llvm-project/pull/78180 ___ cfe-commits mailing li

[clang] [clang][analyzer] Add function 'fscanf' to StreamChecker. (PR #78180)

=?utf-8?q?Balázs_Kéri?= Message-ID: In-Reply-To: steakhal wrote: This patch breaks a downstream test, like this: ```c++ void test_fscanf_2() { FILE *F1 = tmpfile(); if (!F1) return; int a; unsigned b; fscanf(F1, "%d %u", &a, &b); clang_analyzer_dump_int(a); // FP warning: 1st

[clang] [clang][analyzer] Add function 'fscanf' to StreamChecker. (PR #78180)

https://github.com/balazske closed https://github.com/llvm/llvm-project/pull/78180 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [clang][analyzer] Add function 'fscanf' to StreamChecker. (PR #78180)

=?utf-8?q?Bal=C3=A1zs_K=C3=A9ri?= Message-ID: In-Reply-To: https://github.com/NagyDonat approved this pull request. https://github.com/llvm/llvm-project/pull/78180 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bi

[clang] [clang][analyzer] Add function 'fscanf' to StreamChecker. (PR #78180)

=?utf-8?q?Bal=C3=A1zs_K=C3=A9ri?= Message-ID: In-Reply-To: https://github.com/benshi001 approved this pull request. https://github.com/llvm/llvm-project/pull/78180 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bi

[clang] [clang][analyzer] Add function 'fscanf' to StreamChecker. (PR #78180)

https://github.com/balazske updated https://github.com/llvm/llvm-project/pull/78180 From aacfc3f06ee51ede08464cb23ec32b210e703b6b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bal=C3=A1zs=20K=C3=A9ri?= Date: Mon, 15 Jan 2024 16:41:34 +0100 Subject: [PATCH 1/2] [clang][analyzer] Add function 'fscanf'

[clang] [clang][analyzer] Add function 'fscanf' to StreamChecker. (PR #78180)

@@ -975,6 +981,61 @@ void StreamChecker::evalFprintf(const FnDescription *Desc, C.addTransition(StateFailed); } +void StreamChecker::evalFscanf(const FnDescription *Desc, const CallEvent &Call, + CheckerContext &C) const { + ProgramStateRef St

[clang] [clang][analyzer] Add function 'fscanf' to StreamChecker. (PR #78180)

llvmbot wrote: @llvm/pr-subscribers-clang Author: Balázs Kéri (balazske) Changes --- Full diff: https://github.com/llvm/llvm-project/pull/78180.diff 3 Files Affected: - (modified) clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp (+61) - (modified) clang/test/Analysis/stream-error.

[clang] [clang][analyzer] Add function 'fscanf' to StreamChecker. (PR #78180)

llvmbot wrote: @llvm/pr-subscribers-clang-static-analyzer-1 Author: Balázs Kéri (balazske) Changes --- Full diff: https://github.com/llvm/llvm-project/pull/78180.diff 3 Files Affected: - (modified) clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp (+61) - (modified) clang/test/Anal

[clang] [clang][analyzer] Add function 'fscanf' to StreamChecker. (PR #78180)

https://github.com/balazske created https://github.com/llvm/llvm-project/pull/78180 None From aacfc3f06ee51ede08464cb23ec32b210e703b6b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bal=C3=A1zs=20K=C3=A9ri?= Date: Mon, 15 Jan 2024 16:41:34 +0100 Subject: [PATCH] [clang][analyzer] Add function 'fscan