Fix for Issue checkedc#1200 "Assertion failure in checkPointerTypesFo…

…rAssignment due to non-canonical RHS type"
checkedc-purdue · May 2, 2023 · f690431 · f690431
1 parent ebf531a
commit f690431
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/clang/lib/Sema/SemaExpr.cpp b/clang/lib/Sema/SemaExpr.cpp
@@ -9151,6 +9151,12 @@ static bool IsInvalidCmseNSCallConversion(Sema &S, QualType FromType,
 // FIXME: add a couple examples in this comment.
 static Sema::AssignConvertType
 checkPointerTypesForAssignment(Sema &S, QualType LHSType, QualType RHSType) {
+  if (!LHSType.isCanonical())
+    LHSType = LHSType.getCanonicalType();
+
+  if (!RHSType.isCanonical())
+    RHSType = RHSType.getCanonicalType();
+
   assert(LHSType.isCanonical() && "LHS not canonicalized!");
   assert(RHSType.isCanonical() && "RHS not canonicalized!");