[clang] [analyzer] Model builtin-like functions as builtin functions (PR #99886)

[Donát Nagy via cfe-commits]

================
@@ -570,13 +570,8 @@ void differentBranchesTest(int i) {
   {
     A a;
     a.foo() > 0 ? a.foo() : A(std::move(a)).foo();
-#ifdef DFS
-    // peaceful-note@-2 {{Assuming the condition is false}}
-    // peaceful-note@-3 {{'?' condition is false}}
-#else
-    // peaceful-note@-5 {{Assuming the condition is true}}
-    // peaceful-note@-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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits