[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