From f0dc63fc7ec039999981a4b7555f725c0aa65cc7 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Sat, 3 Feb 2018 00:32:41 +0100 Subject: [PATCH] malloca: Add an argument check. Suggested by Paul Eggert. * lib/malloca.c (freea): Check against an invalid argument. --- ChangeLog | 6 ++++++ lib/malloca.c | 6 ++++++ 2 files changed, 12 insertions(+) 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) { -- 2.39.5