------- Comment #25 from jakub at gcc dot gnu dot org 2009-03-16 07:52 ------- I'd say first try to add noinline attribute on all callers of num_positive, if it fails even with those, add also __attribute__((__optimize__(0))) to them one by one. If the noinline attribute to those makes the miscompilation go away, search one by one which one it is and retry with all callers of that function.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39355
