------- Comment #1 from tobi at gcc dot gnu dot org 2006-12-17 20:56 ------- As long as the callee doesn't change the value it's probably valid, so this would need some kind of interprocedural analysis to give a correct error. A warning may be in place, though. This shouldn't be to hard, we check that LHS' are not DO variables, so similar code is already there.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30146
