ojhunt wrote:

Ok, this is a bit more relaxed as we're seeing warnings in non-trivially 
copyable types that are more common with ptrauth.

It basically permits zero initialization of types in all cases, but I'm unsure 
if that's actually ok - in principle the use case here is legitimate, and does 
occur outside of constructors as well.

We could restrict this to just those targeting `this` inside a constructor, but 
I've also found cases where constructors memset/bzero subobjects?

We could also just relax the cxx struct memaccess for memset/bzero to not 
trigger on objects with trivial initializers - in general I don't understand 
why this warning is produced -- it specifically triggers on types that are by 
definition trivially initializable. That would cover many of the failure cases, 
not all, but many

https://github.com/llvm/llvm-project/pull/170577
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to