[llvm-branch-commits] [clang] [FlowSensitive] [StatusOr] [6/N] Support pointer comparison (PR #163875)

[Florian Mayer via llvm-branch-commits]

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 <fmayer at google.com>
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