[PATCH] D50039: [LibCalls] Added nonnull atribute to libc function args

[Dávid Bolvanský via Phabricator via llvm-commits]

xbolva00 added a comment.

Ok, makes sense. Just looking into FunctionAttrs, there is a FIXME comment for "EnableNonnullArgPropagation".  If we carefully handle these nonnull arg attributes (e.g. avoid memcpy(d, s, 0) optimization),  are there any reasons whyEnableNonnullArgPropagation should be still disabled?


https://reviews.llvm.org/D50039