------- Comment #2 from rguenth at gcc dot gnu dot org 2010-05-29 11:40 ------- You can add
void bar4 (void) { int dummy; dummy = foo (); } so I'm not sure the ignore_value () function call isn't a use. In fact if you externalize that function it is at least a possible use. Which also raises the question whether (void) is really more "ignoring" the result than the assignment to a dummy variable. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44321