This is the mail archive of the
fortran@gcc.gnu.org
mailing list for the GNU Fortran project.
Re: [PATCH, libgfortran] Add overflow check to xmalloc
- From: Janne Blomqvist <blomqvist dot janne at gmail dot com>
- To: Fortran List <fortran at gcc dot gnu dot org>, GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Sun, 15 Jun 2014 06:55:41 +0300
- Subject: Re: [PATCH, libgfortran] Add overflow check to xmalloc
- Authentication-results: sourceware.org; auth=none
- References: <CAO9iq9FrhNHVV2jDPafpq_6MjMGk-v4DgEOZ472c2uV7L2X4Bg at mail dot gmail dot com> <CAO9iq9HpOSSXCHWVFc0t0EQHKea+QVEEEmNYjY9L=7t+kh5o=A at mail dot gmail dot com> <CAO9iq9Epy02hgq4s3nknu+CSXq7RNrQnnDc0AF0wsUgpU49bAQ at mail dot gmail dot com> <CAO9iq9Gqj+9rQhMyUgTdzn+=9befKO-YNxDVQqdd2MHjTQbbBw at mail dot gmail dot com>
PING #3
On Sat, Jun 7, 2014 at 5:46 AM, Janne Blomqvist
<blomqvist.janne@gmail.com> wrote:
> PING #2
>
> On Fri, May 30, 2014 at 5:53 PM, Janne Blomqvist
> <blomqvist.janne@gmail.com> wrote:
>> PING
>>
>> On Tue, May 20, 2014 at 12:42 AM, Janne Blomqvist
>> <blomqvist.janne@gmail.com> wrote:
>>> On Thu, May 15, 2014 at 1:00 AM, Janne Blomqvist
>>> <blomqvist.janne@gmail.com> wrote:
>>>> Hi,
>>>>
>>>> a common malloc() pattern is "malloc(num_foo * sizeof(foo_t)", that
>>>> is, create space for an array of type foo_t with num_foo elements.
>>>> There is a slight danger here in that the multiplication can overflow
>>>> and wrap around, and then the caller thinks it has a larger array than
>>>> what malloc has actually created. The attached patch changes the
>>>> libgfortran xmalloc() function to have an API similar to calloc() with
>>>> two arguments, and the implementation checks for wraparound.
>>>
>>> Hello,
>>>
>>> attached is an updated patch which instead introduces a new function,
>>> xmallocarray, with the overflow check, and leaves the existing xmalloc
>>> as is. Thus avoiding the extra checking in the common case where one
>>> of the arguments to xmallocarray would be 1.
>>>
>>> Tested on x86_64-unknown-linux-gnu, Ok for trunk?
>>>
>>> 2014-05-20 Janne Blomqvist <jb@gcc.gnu.org>
>>>
>>> * libgfortran.h (xmallocarray): New prototype.
>>> * runtime/memory.c (xmallocarray): New function.
>>> (xcalloc): Check for nonzero separately instead of multiplying.
>>> * generated/*.c: Regenerated.
>>> * intrinsics/cshift0.c (cshift0): Call xmallocarray instead of
>>> xmalloc.
>>> * intrinsics/eoshift0.c (eoshift0): Likewise.
>>> * intrinsics/eoshift2.c (eoshift2): Likewise.
>>> * intrinsics/pack_generic.c (pack_internal): Likewise.
>>> (pack_s_internal): Likewise.
>>> * intrinsics/reshape_generic.c (reshape_internal): Likewise.
>>> * intrinsics/spread_generic.c (spread_internal): Likewise.
>>> (spread_internal_scalar): Likewise.
>>> * intrinsics/string_intrinsics_inc.c (string_trim): Likewise.
>>> (string_minmax): Likewise.
>>> * intrinsics/transpose_generic.c (transpose_internal): Likewise.
>>> * intrinsics/unpack_generic.c (unpack_internal): Likewise.
>>> * io/list_read.c (nml_touch_nodes): Don't cast xmalloc return value.
>>> * io/transfer.c (st_set_nml_var): Call xmallocarray instead of
>>> xmalloc.
>>> * io/unit.c (get_internal_unit): Likewise.
>>> (filename_from_unit): Don't cast xmalloc return value.
>>> * io/write.c (nml_write_obj): Likewise, formatting.
>>> * m4/bessel.m4 (bessel_jn_r'rtype_kind`): Call xmallocarray
>>> instead of xmalloc.
>>> (besse_yn_r'rtype_kind`): Likewise.
>>> * m4/cshift1.m4 (cshift1): Likewise.
>>> * m4/eoshift1.m4 (eoshift1): Likewise.
>>> * m4/eoshift3.m4 (eoshift3): Likewise.
>>> * m4/iforeach.m4: Likewise.
>>> * m4/ifunction.m4: Likewise.
>>> * m4/ifunction_logical.m4 (name`'rtype_qual`_'atype_code):
>>> Likewise.
>>> * m4/in_pack.m4 (internal_pack_'rtype_ccode`): Likewise.
>>> * m4/matmul.m4 (matmul_'rtype_code`): Likewise.
>>> * m4/matmull.m4 (matmul_'rtype_code`): Likewise.
>>> * m4/pack.m4 (pack_'rtype_code`): Likewise.
>>> * m4/reshape.m4 (reshape_'rtype_ccode`): Likewise.
>>> * m4/shape.m4 (shape_'rtype_kind`): Likewise.
>>> * m4/spread.m4 (spread_'rtype_code`): Likewise.
>>> (spread_scalar_'rtype_code`): Likewise.
>>> * m4/transpose.m4 (transpose_'rtype_code`): Likewise.
>>> * m4/unpack.m4 (unpack0_'rtype_code`): Likewise.
>>> (unpack1_'rtype_code`): Likewise.
>>> * runtime/convert_char.c (convert_char1_to_char4): Likewise.
>>> (convert_char4_to_char1): Simplify.
>>> * runtime/environ.c (init_unformatted): Call xmallocarray instead
>>> of xmalloc.
>>> * runtime/in_pack_generic.c (internal_pack): Likewise.
>>>
>>>
>>>
>>>
>>> --
>>> Janne Blomqvist
>>
>>
>>
>> --
>> Janne Blomqvist
>
>
>
> --
> Janne Blomqvist
--
Janne Blomqvist