[clang] [analyzer] Model builtin-like functions as builtin functions (PR #99886)
DonĂ¡t Nagy via cfe-commits
cfe-commits at lists.llvm.org
Tue Jul 23 02:35:18 PDT 2024
================
@@ -570,13 +570,8 @@ void differentBranchesTest(int i) {
{
A a;
a.foo() > 0 ? a.foo() : A(std::move(a)).foo();
-#ifdef DFS
- // peaceful-note at -2 {{Assuming the condition is false}}
- // peaceful-note at -3 {{'?' condition is false}}
-#else
- // peaceful-note at -5 {{Assuming the condition is true}}
- // peaceful-note at -6 {{'?' condition is true}}
-#endif
----------------
NagyDonat wrote:
I see, thanks for the explanation. I agree that this isn't an important question and simply adjusting the TC is the right solution.
https://github.com/llvm/llvm-project/pull/99886
More information about the cfe-commits
mailing list