https://github.com/fmayer updated 
https://github.com/llvm/llvm-project/pull/163875

>From 5c7d41edd4beee87356e131e284af5284fdf9c9d Mon Sep 17 00:00:00 2001
From: Florian Mayer <[email protected]>
Date: Fri, 17 Oct 2025 13:46:56 -0700
Subject: [PATCH] fix

Created using spr 1.3.7
---
 .../Models/UncheckedStatusOrAccessModel.cpp            | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git 
a/clang/lib/Analysis/FlowSensitive/Models/UncheckedStatusOrAccessModel.cpp 
b/clang/lib/Analysis/FlowSensitive/Models/UncheckedStatusOrAccessModel.cpp
index 01a4f0d3dff4b..21913d5809a6e 100644
--- a/clang/lib/Analysis/FlowSensitive/Models/UncheckedStatusOrAccessModel.cpp
+++ b/clang/lib/Analysis/FlowSensitive/Models/UncheckedStatusOrAccessModel.cpp
@@ -174,12 +174,10 @@ static auto isPointerComparisonOperatorCall(std::string 
operator_name) {
       hasOperatorName(operator_name),
       hasLHS(
           
anyOf(hasType(hasCanonicalType(pointerType(pointee(statusOrType())))),
-                hasType(hasCanonicalType(
-                    pointerType(pointee(possiblyAliasedStatusType())))))),
-      hasRHS(
-          
anyOf(hasType(hasCanonicalType(pointerType(pointee(statusOrType())))),
-                hasType(hasCanonicalType(
-                    pointerType(pointee(possiblyAliasedStatusType())))))));
+                
hasType(hasCanonicalType(pointerType(pointee(statusType())))))),
+      hasRHS(anyOf(
+          hasType(hasCanonicalType(pointerType(pointee(statusOrType())))),
+          hasType(hasCanonicalType(pointerType(pointee(statusType())))))));
 }
 
 static auto

_______________________________________________
llvm-branch-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

Reply via email to