rjmccall added a comment.

For ARC, you could bzero the union member; this is what how we tell people to 
initialize malloc'ed memory as well, since there's no default-constructor 
concept that they can invoke for such cases.

Our immediate need for this attribute is that we have some code that wants to 
adopt non-trivial annotations in unions, with no intention of ever copying or 
destroying them as aggregates.  Of course a better solution would be to make 
any C code that would copy or destroy the aggregate type illegal, but that 
seems like a big project.  But maybe there'd be no need for this attribute in 
the long term if we eventually do have that support.


Repository:
  rC Clang

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D62988/new/

https://reviews.llvm.org/D62988



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to