http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53605
--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2012-06-11 13:41:20 UTC --- (In reply to comment #3) > but I wonder about the inconsistency between the max == INTEGER_CST and > !INTEGER_CST case where we do _not_ add one to the expression to be mangled. Yep, that's what the ABI says. I don't remember why we chose to add one in the constant case.