http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54997
--- Comment #1 from janus at gcc dot gnu.org 2012-10-20 08:58:19 UTC ---
(In reply to comment #0)
> Obviously s3 is not being called directly, but it is passed to s2, so it's
> certainly not unused.
Well, to be honest, 'dummy' is not really used inside of 's2', but you can just
add some line like this
call dummy()
which does not make the false warning go away either.
[Of course, diagnosing that 's3' is never actually called in the original test
case is not quite trivial in general, and it is not what this PR is aiming
for.]
