[clang] [clang][analyzer] Support 'getdelim' and 'getline' in StreamChecker (PR #78693)

2024-01-22 Thread Balázs Kéri via cfe-commits
https://github.com/balazske approved this pull request. OK, change can be merged before the simplification. https://github.com/llvm/llvm-project/pull/78693 ___ cfe-commits mailing list cfe-commits@lists.llvm.org

[clang] [clang][analyzer] Support 'getdelim' and 'getline' in StreamChecker (PR #78693)

2024-01-19 Thread Ben Shi via cfe-commits
benshi001 wrote: > I have already a working code to simplify code repetitions, but want to merge > first patches #76979 and #78180 (@NagyDonat could you look at these too?). How about merge this patch first, then apply your simplification one? Since my current one also is affected.

[clang] [clang][analyzer] Support 'getdelim' and 'getline' in StreamChecker (PR #78693)

2024-01-19 Thread Balázs Kéri via cfe-commits
balazske wrote: I have already a working code to simplify code repetitions, but want to merge first patches #76979 and #78180 (@NagyDonat could you look at these too?). https://github.com/llvm/llvm-project/pull/78693 ___ cfe-commits mailing list

[clang] [clang][analyzer] Support 'getdelim' and 'getline' in StreamChecker (PR #78693)

2024-01-19 Thread via cfe-commits
https://github.com/NagyDonat approved this pull request. Looks reasonable. My only concern is that several recent changes introduced similar, but separate `evalXXX` methods that are used for modeling just one or two standard functions. I have a vague suspicion that these could be

[clang] [clang][analyzer] Support 'getdelim' and 'getline' in StreamChecker (PR #78693)

2024-01-19 Thread Ben Shi via cfe-commits
https://github.com/benshi001 updated https://github.com/llvm/llvm-project/pull/78693 >From f047ec2137d63f04668f0b07be362a25fb612622 Mon Sep 17 00:00:00 2001 From: Ben Shi Date: Fri, 19 Jan 2024 18:51:40 +0800 Subject: [PATCH] [clang][analyzer] Support 'getdelim' and 'getline' in StreamChecker

[clang] [clang][analyzer] Support 'getdelim' and 'getline' in StreamChecker (PR #78693)

2024-01-19 Thread via cfe-commits
llvmbot wrote: @llvm/pr-subscribers-clang Author: Ben Shi (benshi001) Changes --- Full diff: https://github.com/llvm/llvm-project/pull/78693.diff 4 Files Affected: - (modified) clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp (+66) - (modified)

[clang] [clang][analyzer] Support 'getdelim' and 'getline' in StreamChecker (PR #78693)

2024-01-19 Thread Ben Shi via cfe-commits
https://github.com/benshi001 created https://github.com/llvm/llvm-project/pull/78693 None >From 9af31b61fce0df9a26e46f2c83e7cd8f3432b4a4 Mon Sep 17 00:00:00 2001 From: Ben Shi Date: Fri, 19 Jan 2024 18:51:40 +0800 Subject: [PATCH] [clang][analyzer] Support 'getdelim' and 'getline' in