------- Comment #6 from rguenth at gcc dot gnu dot org 2008-10-29 14:34 ------- Warning is (reliably) only possible if we can tell if the function call modifies the passed storage. This requires some IPA analysis and thus moving the warning to the middle-end.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37947