From: Bruno Haible Date: Fri, 2 Feb 2018 23:32:41 +0000 (+0100) Subject: malloca: Add an argument check. X-Git-Tag: v1.0~5743 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=f0dc63fc7ec039999981a4b7555f725c0aa65cc7;p=gnulib.git malloca: Add an argument check. Suggested by Paul Eggert. * lib/malloca.c (freea): Check against an invalid argument. --- diff --git a/ChangeLog b/ChangeLog index ad2ba9d27c..85c13f8714 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2018-02-02 Bruno Haible + + malloca: Add an argument check. + Suggested by Paul Eggert. + * lib/malloca.c (freea): Check against an invalid argument. + 2018-02-02 Bruno Haible localename: Add support for OpenIndiana. diff --git a/lib/malloca.c b/lib/malloca.c index 5741cba6f1..c5321d17e9 100644 --- a/lib/malloca.c +++ b/lib/malloca.c @@ -78,6 +78,12 @@ mmalloca (size_t n) void freea (void *p) { + /* Check argument. */ + if ((uintptr_t) p & (sa_alignment_max - 1)) + { + /* p was not the result of a malloca() call. Invalid argument. */ + abort (); + } /* Determine whether p was a non-NULL pointer returned by mmalloca(). */ if ((uintptr_t) p & sa_alignment_max) {