Avoid undefined behavior with huge regexp interval counts.

* regex.c (GET_INTERVAL_COUNT): Rename from 'GET_UNSIGNED_NUMBER',
since it's now specialized to interval counts.	All uses changed.
Do not assume wrapraound on signed integer overflow.
(regex_compile): Simplify based on the above changes.

1 files changed, 8 insertions, 0 deletions

diff --git a/src/ChangeLog b/src/ChangeLog
index 839630e93ea..7bbcb345a0f 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,11 @@
+2013-12-12  Paul Eggert  <eggert@cs.ucla.edu>
+
+        Avoid undefined behavior with huge regexp interval counts.
+        * regex.c (GET_INTERVAL_COUNT): Rename from 'GET_UNSIGNED_NUMBER',
+        since it's now specialized to interval counts.  All uses changed.
+        Do not assume wrapraound on signed integer overflow.
+        (regex_compile): Simplify based on the above changes.
+
 2013-12-12  Eli Zaretskii  <eliz@gnu.org>
 
         Support file names on MS-Windows that use characters outside of