[Bug c++/57132] spurious warning: division by zero [-Wdiv-by-zero] in if (m) res %=m;

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57132



--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-05-01 
09:55:23 UTC ---

I meant PR11856, of course ;)