diff options
| -rw-r--r-- | gcc/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/gengtype.c | 5 | ||||
| -rw-r--r-- | gcc/read-rtl.c | 5 |
3 files changed, 16 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 5d65d18..5e3fbbe 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2013-07-18 Chang <pchang9@cs.wisc.edu> + + * read-rtl.c (validate_const_int): Once an invalid character is + seen, quit the loop. + + * gengtype.c (write_roots): Similarly once we find the "deletable" + or "if_marked" option. + 2013-07-18 Sofiane Naci <sofiane.naci@arm.com> * config/arm/arm.md (attribute "insn"): Delete values "mrs", "msr", diff --git a/gcc/gengtype.c b/gcc/gengtype.c index eede798..2085496 100644 --- a/gcc/gengtype.c +++ b/gcc/gengtype.c @@ -4682,7 +4682,10 @@ write_roots (pair_p variables, bool emit_pch) for (o = v->opt; o; o = o->next) if (strcmp (o->name, "deletable") == 0 || strcmp (o->name, "if_marked") == 0) - skip_p = 1; + { + skip_p = 1; + break; + } if (skip_p) continue; diff --git a/gcc/read-rtl.c b/gcc/read-rtl.c index 2b76c1b..10adf47 100644 --- a/gcc/read-rtl.c +++ b/gcc/read-rtl.c @@ -803,7 +803,10 @@ validate_const_int (const char *string) valid = 0; for (; *cp; cp++) if (! ISDIGIT (*cp)) - valid = 0; + { + valid = 0; + break; + } if (!valid) fatal_with_file_and_line ("invalid decimal constant \"%s\"\n", string); } |