Skip to content

Commit f887c52

Browse files
committed
[𝘀𝗽𝗿] changes introduced through rebase
Created using spr 1.3.7 [skip ci]
1 parent 6231f33 commit f887c52

File tree

1 file changed

+4
-6
lines changed

1 file changed

+4
-6
lines changed

clang/lib/Analysis/FlowSensitive/Models/UncheckedStatusOrAccessModel.cpp

Lines changed: 4 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -174,12 +174,10 @@ static auto isPointerComparisonOperatorCall(std::string operator_name) {
174174
hasOperatorName(operator_name),
175175
hasLHS(
176176
anyOf(hasType(hasCanonicalType(pointerType(pointee(statusOrType())))),
177-
hasType(hasCanonicalType(
178-
pointerType(pointee(possiblyAliasedStatusType())))))),
179-
hasRHS(
180-
anyOf(hasType(hasCanonicalType(pointerType(pointee(statusOrType())))),
181-
hasType(hasCanonicalType(
182-
pointerType(pointee(possiblyAliasedStatusType())))))));
177+
hasType(hasCanonicalType(pointerType(pointee(statusType())))))),
178+
hasRHS(anyOf(
179+
hasType(hasCanonicalType(pointerType(pointee(statusOrType())))),
180+
hasType(hasCanonicalType(pointerType(pointee(statusType())))))));
183181
}
184182

185183
static auto isStatusOrValueAssignmentCall() {

0 commit comments

Comments
 (0)