[SCM] GNU M4 source repository branch, branch-1.6, updated. v1.5.89a-22-g34985ce
"Eric Blake" <[email protected]>
| Newsgroups | gmane.comp.gnu.m4.cvs |
|---|---|
| Message-ID | <[email protected]> |
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GNU M4 source repository".
http://git.sv.gnu.org/gitweb/?p=m4.git;a=commitdiff;h=34985ceaf524a511894776fe446279b5a7c12ced
The branch, branch-1.6 has been updated
via 34985ceaf524a511894776fe446279b5a7c12ced (commit)
via b5fe50a4ef3e20912ee835888c9effda8a290721 (commit)
from bc4cf0aa6f3aa46da1cb46c25ded92362f6dba22 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 34985ceaf524a511894776fe446279b5a7c12ced
Author: Eric Blake <[email protected]>
Date: Fri May 9 09:24:41 2008 -0600
Improve error message when frozen file is invalid.
* src/freeze.c (reload_frozen_state): Track current line.
[GET_STRING]: New helper macro.
Signed-off-by: Eric Blake <[email protected]>
commit b5fe50a4ef3e20912ee835888c9effda8a290721
Author: Eric Blake <[email protected]>
Date: Fri May 9 07:59:51 2008 -0600
Detect integer overflow when loading frozen file.
* src/freeze.c (reload_frozen_state) [GET_NUMBER]: Rewrite to fail
immediately on overflow.
Reported by Jim Meyering.
Signed-off-by: Eric Blake <[email protected]>
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 9 +++++
src/freeze.c | 110 ++++++++++++++++++++++++++++++++-------------------------
2 files changed, 71 insertions(+), 48 deletions(-)
diff --git a/ChangeLog b/ChangeLog
index 0a40526..2abc489 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,14 @@
2008-05-09 Eric Blake <[email protected]>
+ Improve error message when frozen file is invalid.
+ * src/freeze.c (reload_frozen_state): Track current line.
+ [GET_STRING]: New helper macro.
+
+ Detect integer overflow when loading frozen file.
+ * src/freeze.c (reload_frozen_state) [GET_NUMBER]: Rewrite to fail
+ immediately on overflow.
+ Reported by Jim Meyering.
+
Stage 23: allow tracing of indirect macro calls.
Track all trace information as part of the argv struct, rather
than temporarily resetting global state. Teach indir to trace
diff --git a/src/freeze.c b/src/freeze.c
index 383d008..15f06fe 100644
--- a/src/freeze.c
+++ b/src/freeze.c
@@ -178,34 +178,51 @@ reload_frozen_state (const char *name)
int allocated[2];
int number[2];
const builtin *bp;
+ bool advance_line = true;
-#define GET_CHARACTER \
- (character = getc (file))
+#define GET_CHARACTER \
+ do \
+ { \
+ if (advance_line) \
+ { \
+ current_line++; \
+ advance_line = false; \
+ } \
+ (character = getc (file)); \
+ if (character == '\n') \
+ advance_line = true; \
+ } \
+ while (0)
-#define GET_NUMBER(Number) \
+#define GET_NUMBER(Number, AllowNeg) \
do \
{ \
- (Number) = 0; \
- while (isdigit (character)) \
+ unsigned int n = 0; \
+ while (isdigit (character) && n <= INT_MAX / 10) \
{ \
- (Number) = 10 * (Number) + character - '0'; \
+ n = 10 * n + character - '0'; \
GET_CHARACTER; \
} \
+ if (((AllowNeg) ? INT_MIN : INT_MAX) < n \
+ || isdigit (character)) \
+ m4_error (EXIT_FAILURE, 0, NULL, \
+ _("integer overflow in frozen file")); \
+ (Number) = n; \
} \
while (0)
-#define VALIDATE(Expected) \
+#define VALIDATE(Expected) \
do \
{ \
if (character != (Expected)) \
- issue_expect_message ((Expected)); \
+ issue_expect_message (Expected); \
} \
while (0)
/* Skip comments (`#' at beginning of line) and blank lines, setting
character to the next directive or to EOF. */
-#define GET_DIRECTIVE \
+#define GET_DIRECTIVE \
do \
{ \
GET_CHARACTER; \
@@ -215,12 +232,38 @@ reload_frozen_state (const char *name)
GET_CHARACTER; \
VALIDATE ('\n'); \
} \
- } \
+ } \
while (character == '\n')
+#define GET_STRING(i) \
+ do \
+ { \
+ void *tmp; \
+ char *p; \
+ if (number[(i)] + 1 > allocated[(i)]) \
+ { \
+ free (string[(i)]); \
+ allocated[(i)] = number[(i)] + 1; \
+ string[(i)] = xcharalloc ((size_t) allocated[(i)]); \
+ } \
+ if (number[(i)] > 0 \
+ && !fread (string[(i)], (size_t) number[(i)], 1, file)) \
+ m4_error (EXIT_FAILURE, 0, NULL, \
+ _("premature end of frozen file")); \
+ string[(i)][number[(i)]] = '\0'; \
+ p = string[(i)]; \
+ while ((tmp = memchr(p, '\n', number[(i)] - (p - string[(i)])))) \
+ { \
+ current_line++; \
+ p = (char *) tmp + 1; \
+ } \
+ } \
+ while (0)
+
file = m4_path_search (name, NULL);
if (file == NULL)
m4_error (EXIT_FAILURE, errno, NULL, _("cannot open %s"), name);
+ current_file = name;
allocated[0] = 100;
string[0] = xcharalloc ((size_t) allocated[0]);
@@ -231,7 +274,7 @@ reload_frozen_state (const char *name)
GET_DIRECTIVE;
VALIDATE ('V');
GET_CHARACTER;
- GET_NUMBER (number[0]);
+ GET_NUMBER (number[0], false);
if (number[0] > 1)
m4_error (EXIT_MISMATCH, 0, NULL,
_("frozen file version %d greater than max supported of 1"),
@@ -262,51 +305,19 @@ reload_frozen_state (const char *name)
if (operation == 'D' && character == '-')
{
GET_CHARACTER;
- GET_NUMBER (number[0]);
+ GET_NUMBER (number[0], true);
number[0] = -number[0];
}
else
- GET_NUMBER (number[0]);
+ GET_NUMBER (number[0], false);
VALIDATE (',');
GET_CHARACTER;
- GET_NUMBER (number[1]);
+ GET_NUMBER (number[1], false);
VALIDATE ('\n');
if (operation != 'D')
- {
-
- /* Get first string contents. */
-
- if (number[0] + 1 > allocated[0])
- {
- free (string[0]);
- allocated[0] = number[0] + 1;
- string[0] = xcharalloc ((size_t) allocated[0]);
- }
-
- if (number[0] > 0)
- if (!fread (string[0], (size_t) number[0], 1, file))
- m4_error (EXIT_FAILURE, 0, NULL,
- _("premature end of frozen file"));
-
- string[0][number[0]] = '\0';
- }
-
- /* Get second string contents. */
-
- if (number[1] + 1 > allocated[1])
- {
- free (string[1]);
- allocated[1] = number[1] + 1;
- string[1] = xcharalloc ((size_t) allocated[1]);
- }
-
- if (number[1] > 0)
- if (!fread (string[1], (size_t) number[1], 1, file))
- m4_error (EXIT_FAILURE, 0, NULL,
- _("premature end of frozen file"));
-
- string[1][number[1]] = '\0';
+ GET_STRING (0);
+ GET_STRING (1);
GET_CHARACTER;
VALIDATE ('\n');
@@ -370,9 +381,12 @@ reload_frozen_state (const char *name)
errno = 0;
if (ferror (file) || fclose (file) != 0)
m4_error (EXIT_FAILURE, errno, NULL, _("unable to read frozen state"));
+ current_file = NULL;
+ current_line = 0;
#undef GET_CHARACTER
#undef GET_DIRECTIVE
#undef GET_NUMBER
#undef VALIDATE
+#undef GET_STRING
}
hooks/post-receive
--
GNU M4 source repository