Pacify -Wanalyzer-null-argument in lisp_malloc

* src/alloc.c (lisp_malloc): Document that NBYTES must be
positive, and omit a needless runtime check.  This pacifies a
false alarm with gcc 11.2.1 -Wanalyzer-possible-null-dereference.
This commit is contained in:
Paul Eggert 2021-10-03 16:37:13 -07:00
parent cc3fc94f09
commit fd274d7d24

View file

@ -988,7 +988,8 @@ record_xmalloc (size_t size)
/* Like malloc but used for allocating Lisp data. NBYTES is the
number of bytes to allocate, TYPE describes the intended use of the
allocated memory block (for strings, for conses, ...). */
allocated memory block (for strings, for conses, ...).
NBYTES must be positive. */
#if ! USE_LSB_TAG
void *lisp_malloc_loser EXTERNALLY_VISIBLE;
@ -1030,7 +1031,7 @@ lisp_malloc (size_t nbytes, bool clearit, enum mem_type type)
#endif
MALLOC_UNBLOCK_INPUT;
if (!val && nbytes)
if (!val)
memory_full (nbytes);
MALLOC_PROBE (nbytes);
return val;