On 06/22/2015 09:15 PM, Piotr Stefaniak wrote:> For example, glibc has memcpy marked as __nonnull(1,2).Sorry, that's just a typo: I obviously meant memcmp.