I committed this patch as obvious to fix the s390 build. Thanks, Richard
Index: gcc/config/s390/s390.c =================================================================== --- gcc/config/s390/s390.c 2014-04-24 22:42:21.799411496 +0100 +++ gcc/config/s390/s390.c 2014-04-24 22:42:42.993575959 +0100 @@ -474,9 +474,7 @@ s390_handle_hotpatch_attribute (tree *no if (TREE_CODE (expr) != INTEGER_CST || !INTEGRAL_TYPE_P (TREE_TYPE (expr)) - || TREE_INT_CST_HIGH (expr) != 0 - || TREE_INT_CST_LOW (expr) > (unsigned int) - s390_hotpatch_trampoline_halfwords_max) + || wi::gtu_p (expr, s390_hotpatch_trampoline_halfwords_max)) { error ("requested %qE attribute is not a non-negative integer" " constant or too large (max. %d)", name,