diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/lread.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/lread.c b/src/lread.c index 91b9bffdb6d..44d071e97e2 100644 --- a/src/lread.c +++ b/src/lread.c | |||
| @@ -1995,6 +1995,8 @@ isfloat_string (cp) | |||
| 1995 | { | 1995 | { |
| 1996 | register int state; | 1996 | register int state; |
| 1997 | 1997 | ||
| 1998 | char *start = cp; | ||
| 1999 | |||
| 1998 | state = 0; | 2000 | state = 0; |
| 1999 | if (*cp == '+' || *cp == '-') | 2001 | if (*cp == '+' || *cp == '-') |
| 2000 | cp++; | 2002 | cp++; |
| @@ -2030,6 +2032,8 @@ isfloat_string (cp) | |||
| 2030 | while (*cp >= '0' && *cp <= '9') | 2032 | while (*cp >= '0' && *cp <= '9') |
| 2031 | cp++; | 2033 | cp++; |
| 2032 | } | 2034 | } |
| 2035 | else if (cp == start) | ||
| 2036 | ; | ||
| 2033 | else if (cp[-1] == '+' && cp[0] == 'I' && cp[1] == 'N' && cp[2] == 'F') | 2037 | else if (cp[-1] == '+' && cp[0] == 'I' && cp[1] == 'N' && cp[2] == 'F') |
| 2034 | { | 2038 | { |
| 2035 | state |= EXP_INT; | 2039 | state |= EXP_INT; |