On Thu, 17 Nov 2016, Prathamesh Kulkarni wrote: > Hi Richard, > Following your suggestion in PR78154, the patch checks if stmt > contains call to memmove (and friends) in gimple_stmt_nonzero_warnv_p > and returns true in that case. > > Bootstrapped+tested on x86_64-unknown-linux-gnu. > Cross-testing on arm*-*-*, aarch64*-*-* in progress. > Would it be OK to commit this patch in stage-3 ?
As people noted we have returns_nonnull for this and that is already checked. So please make sure the builtins get this attribute instead. Thanks, Richard.
