================
@@ -2791,6 +2791,12 @@ bool ASTContext::hasUniqueObjectRepresentations(
return hasUniqueObjectRepresentations(getBaseElementType(Ty),
CheckIfTriviallyCopyable);
+ if (Ty->isVoidType())
----------------
MitalAshok wrote:
For the new `!Ty->isIncompleteType()` assertion below. Before `void` would go
to the `!isTriviallyCopyable` path, this is just a more explicit way of
handling `__has_unique_object_representations(void)`. The assertion could also
be `assert(Ty->isVoidType() || !Ty->isIncompleteType())` to follow the spec
better?
https://github.com/llvm/llvm-project/pull/95432
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
