efriedma added a comment.

For the kernel, specifically, strlen() isn't an issue because it builds with 
-fno-builtin, but the kernel uses explicit nonnull attributes in a few places.  
But I guess we can assume they know what they're doing if nonnull is explicitly 
specified. 
 We probably want to call this out in the users manual, though.

We add nonnull attributes to the LLVM IR in a few other places which don't 
involve the C nonnull attribute: we assume C++ references are always non-null, 
and we use the "static" array modifier to assume arrays are non-null.  We 
probably shouldn't add those attributes if fno-delete-null-pointer-checks is 
specified.


Repository:
  rC Clang

https://reviews.llvm.org/D47894



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

Reply via email to