Bug 13762 - re_search etc. should return -2 on memory exhaustion
Summary: re_search etc. should return -2 on memory exhaustion
Status: RESOLVED FIXED
Alias: None
Product: glibc
Classification: Unclassified
Component: regex (show other bugs)
Version: unspecified
: P2 normal
Target Milestone: 2.28
Assignee: Adhemerval Zanella
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-02-27 07:06 UTC by Paul Eggert
Modified: 2018-07-04 13:00 UTC (History)
4 users (show)

See Also:
Host:
Target:
Build:
Last reconfirmed:
fweimer: security-


Attachments
Fix re_search to return -2 on memory exhaustion. (392 bytes, text/plain)
2012-02-27 07:06 UTC, Paul Eggert
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Paul Eggert 2012-02-27 07:06:59 UTC
Created attachment 6249 [details]
Fix re_search to return -2 on memory exhaustion.

I ran into this problem when testing GNU grep, which uses
the re_search function.  re_search is supposed to return -2
on internal error, but it returns -1 in some cases when
memory is exhausted.  -1 simply means "no match", so this
causes grep to falsely claim "no match" when it should have
reported an error due to memory exhaustion.

I'm attaching a patch against the current git master.
Comment 1 Ondrej Bilka 2013-10-12 20:53:20 UTC
Could you send this to libc-alpha?
Comment 2 Florian Weimer 2014-06-26 14:22:47 UTC
(In reply to Ondrej Bilka from comment #1)
> Could you send this to libc-alpha?

Seconded.
Comment 3 Sourceware Commits 2018-07-04 12:56:25 UTC
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 C Library master sources".

The branch, master has been updated
       via  eb04c21373e2a2885f3d52ff192b0499afe3c672 (commit)
      from  b11643c21c5c9d67a69c8ae952e5231ce002e7f1 (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 -----------------------------------------------------------------
https://sourceware.org/git/gitweb.cgi?p=glibc.git;h=eb04c21373e2a2885f3d52ff192b0499afe3c672

commit eb04c21373e2a2885f3d52ff192b0499afe3c672
Author: Adhemerval Zanella <adhemerval.zanella@linaro.org>
Date:   Wed Dec 20 09:47:44 2017 -0200

    posix: Sync gnulib regex implementation
    
    This patch syncs the regex implementation with gnulib (commit 0ee5212).
    Only two changes in GLIBC regex testing are required:
    
      1. posix/bug-regex28.c: as previously discussed [1] the change of
         expected results on the pattern should be safe.
    
      2. posix/PCRE.tests: the ERE (a)|\1 is malformed (in the sense that
         the \1 doesn't mean anything) and although current GLIBC accepts
         it has undefined behavior.  This patch removes the specific test.
    
    This sync contains some patches from thread 'Regex: Make libc regex
    more usable outside GLIBC.' [2] which have been pushed upstream in
    gnulib.  This patches also fixes some regex issues (BZ #23233,
    BZ #21163, BZ #18986, BZ #13762) and I did not add testcases for
    both #23233 and #13762 because I couldn't think a simple way to
    trigger the expected failure path to trigger them.
    
    Checked on x86_64-linux-gnu and i686-linux-gnu.
    
    	[BZ #23233]
    	[BZ #21163]
    	[BZ #18986]
    	[BZ #13762]
    	* posix/Makefile (tests): Add bug-regex37 and bug-regex38.
    	* posix/PCRE.tests: Remove invalid test.
    	* posix/bug-regex28.c: Fix expected values for used syntax.
    	* posix/bug-regex37.c: New file.
    	* posix/bug-regex38.c: Likewise.
    	* posix/regcomp.c: Sync with gnulib.
    	* posix/regex.c: Likewise.
    	* posix/regex.h: Likewise.
    	* posix/regex_internal.c: Likewise.
    	* posix/regex_internal.h: Likewise.
    	* posix/regexec.c: Likewise.
    
    [1] https://sourceware.org/ml/libc-alpha/2017-12/msg00807.html
    [2] https://sourceware.org/ml/libc-alpha/2017-12/msg00237.html

-----------------------------------------------------------------------

Summary of changes:
 ChangeLog                                       |   18 +
 posix/Makefile                                  |    3 +-
 posix/PCRE.tests                                |   13 -
 posix/bug-regex28.c                             |   46 +-
 wcsmbs/test-char-types.c => posix/bug-regex37.c |   11 +-
 wcsmbs/test-char-types.c => posix/bug-regex38.c |   11 +-
 posix/regcomp.c                                 |  597 +++++++++------
 posix/regex.c                                   |   21 +-
 posix/regex.h                                   |  335 +++++----
 posix/regex_internal.c                          |  295 ++++----
 posix/regex_internal.h                          |  442 ++++++++----
 posix/regexec.c                                 |  936 ++++++++++++-----------
 12 files changed, 1557 insertions(+), 1171 deletions(-)
 copy wcsmbs/test-char-types.c => posix/bug-regex37.c (78%)
 copy wcsmbs/test-char-types.c => posix/bug-regex38.c (78%)
Comment 4 Adhemerval Zanella 2018-07-04 13:00:35 UTC
Fixed by eb04c21373e2a2885f3d52ff192b0499afe3c672 (2.28).