[PATCH] D142354: [analyzer] Create a stub for an std::variant checker

2023-01-24 Thread Gábor Spaits via Phabricator via cfe-commits
spaits added a comment. Thank you for your response @steakhal! I am going to define a mock standard variant header. I was thinking about just copying the definitions from the original variant header but it had other headers as dependency. I will write my own variant definition one step at the t

[PATCH] D142354: [analyzer] Create a stub for an std::variant checker

2023-01-24 Thread Gábor Spaits via Phabricator via cfe-commits
spaits updated this revision to Diff 491816. spaits added a comment. Adding mock header for std::variant. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D142354/new/ https://reviews.llvm.org/D142354 Files: clang/include/clang/StaticAnalyzer/Checkers/Checkers.td clang/lib/StaticAnalyz

[PATCH] D142354: [analyzer] Create a stub for an std::variant checker

2023-01-23 Thread Gábor Spaits via Phabricator via cfe-commits
spaits created this revision. spaits added reviewers: Szelethus, steakhal, NoQ, gamesh411, xazax.hun. spaits added a project: clang. Herald added subscribers: manas, ASDenysPetrov, martong, dkrupp, donat.nagy, mikhail.ramalho, a.sidorin, rnkovacs, szepet, baloghadamsoftware. Herald added a project

[PATCH] D145069: [analyzer][NFC] Split the no state change logic and bug report suppression into two visitors

2023-03-16 Thread Gábor Spaits via Phabricator via cfe-commits
spaits added a comment. In D145069#4191046 , @xazax.hun wrote: > Do you plan to selectively enable warnings coming from the STL to catch > misuses of certain STL types? No. At first when we have found out that the Static Analyzer can reason about std::

[PATCH] D145069: [analyzer][NFC] Split the no state change logic and bug report suppression into two visitors

2023-03-01 Thread Gábor Spaits via Phabricator via cfe-commits
spaits created this revision. spaits added reviewers: NoQ, steakhal, Szelethus. Herald added subscribers: manas, ASDenysPetrov, martong, dkrupp, donat.nagy, mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware, xazax.hun. Herald added a project: All. spaits requested review of this revision. Her

[PATCH] D145069: [analyzer][NFC] Split the no state change logic and bug report suppression into two visitors

2023-03-10 Thread Gábor Spaits via Phabricator via cfe-commits
spaits updated this revision to Diff 504062. spaits added a comment. As @Szelethus has mentioned in his reply I tried to improve on the comment. I hope now it describes correctly what the new visitor is good for. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews