------- Comment #4 from janis at gcc dot gnu dot org 2008-05-15 21:35 ------- Dominique, to ignore a particular warning you can use dg-prune-output.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35710
janis at gcc dot gnu dot org Thu, 15 May 2008 14:36:08 -0700
------- Comment #4 from janis at gcc dot gnu dot org 2008-05-15 21:35 ------- Dominique, to ignore a particular warning you can use dg-prune-output.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35710