reallocarray.c

Jenkins

reallocarray.c

Absolute File Name:

/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/compat/reallocarray.c

Line

Source

Count

/* $OpenBSD: reallocarray.c,v 1.3 2015/09/13 08:31:47 guenther Exp $ */

* Permission to use, copy, modify, and distribute this software for any

* purpose with or without fee is hereby granted, provided that the above

* copyright notice and this permission notice appear in all copies.

* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES

* WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF

* MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR

* ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES

* WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN

* ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF

* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.

#include <sys/types.h>

#include <errno.h>

#include <stdint.h>

#include <stdlib.h>

* This is sqrt(SIZE_MAX+1), as s1*s2 <= SIZE_MAX

* if both s1 < MUL_NO_OVERFLOW and s2 < MUL_NO_OVERFLOW

#define MUL_NO_OVERFLOW ((size_t)1 << (sizeof(size_t) * 4))

void *

reallocarray(void *optr, size_t nmemb, size_t size)

{

if ((nmemb >= MUL_NO_OVERFLOW || size >= MUL_NO_OVERFLOW) &&

nmemb >= ((siz...(size_t) * 4))	Description
TRUE	never evaluated
FALSE	evaluated 374164 times by 35 tests Evaluated by: aeadtest asn1test base64test bnaddsub bntest cipher_list cipherstest clienttest configtest dhtest dsatest ecdhtest ecdsatest ectest enginetest evptest exptest freenull gost2814789t hkdftest keypairtest libcrypto.so.44.0.1 mont pbkdf2 pkcs7test ...

size >= ((size...(size_t) * 4))	Description
TRUE	never evaluated
FALSE	evaluated 374164 times by 35 tests Evaluated by: aeadtest asn1test base64test bnaddsub bntest cipher_list cipherstest clienttest configtest dhtest dsatest ecdhtest ecdsatest ectest enginetest evptest exptest freenull gost2814789t hkdftest keypairtest libcrypto.so.44.0.1 mont pbkdf2 pkcs7test ...

0-374164

nmemb > 0 && SIZE_MAX / nmemb < size) {

nmemb > 0	Description
TRUE	never evaluated
FALSE	never evaluated

(1844674407370.../ nmemb < size	Description
TRUE	never evaluated
FALSE	never evaluated

errno = ENOMEM;

return NULL;

never executed: return ((void *)0) ;

}

return realloc(optr, size * nmemb);

executed 374164 times by 35 tests: return realloc(optr, size * nmemb);

Executed by:

374164

}

Generated by Squish Coco 4.2.2