rsmith accepted this revision.
rsmith added a comment.
This revision is now accepted and ready to land.
Either the previous version of this patch or a version with a `bool` factored
out seem OK to me.
================
Comment at: lib/Sema/SemaChecking.cpp:3497
+ else if (Form == Copy || Form == Xchg) {
+ if (!IsC11 && !IsN)
+ // The value pointer is always dereferenced, a nullptr is
undefined.
----------------
arphaman wrote:
> Nit: might make more sense to check if `ByValType` is a pointer here instead
> of duplicating the `if` condition from above.
I think the suggestion was to check `ByValType->isPointerType()` here. But...
that doesn't work, because we could have a pointer value being passed by value
(where a null is allowed), rather than a value being passed by address (where a
null is disallowed). I think this comparison is actually less clear than the
`!IsC11 && !IsN` check; factoring out a `bool IsPassedByAddress` or similar
instead would aid readability here.
Repository:
rC Clang
https://reviews.llvm.org/D47229
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
