------- Comment #6 from manu at gcc dot gnu dot org 2006-12-03 21:02 ------- (In reply to comment #3) > Hi Manual,
Manuel (or Manu) http://en.wikipedia.org/wiki/Manuel not manual: http://en.wikipedia.org/wiki/Manual :-) > The real issue is that OPT_Wdiv_by_zero needs to be enabled by -pedantic > in order to generate an error for -pedantic-errors, as requested by > Joseph in comment #1. So, we just have to replace warning by pedwarn, don't we? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19976
