https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78318
--- Comment #4 from Pierre-Marie de Rodat <derodat at adacore dot com> --- (In reply to Thomas Preud'homme from comment #2) > I assume the result is 37 for some platform. Anyway, I apologize since the > scan has been removed from the testcase so this is now fixed as of r243432. Ok, thank you Thomas!
