chiark / gitweb /
journal: fix against (theoretical) undefined behavior
authorShawn Landden <shawn@churchofgit.com>
Mon, 16 Dec 2013 23:41:00 +0000 (15:41 -0800)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 17 Dec 2013 04:46:01 +0000 (23:46 -0500)
commit08c6f819cb0ed435649583da02fa0de965b32dbe
tree7651468566f69a99b675e205e87802fea7ab8ed6
parent7fd97d7829de4e62690b5fb8d41de81bcde24db2
journal: fix against (theoretical) undefined behavior

While all the libc implementations I know return NULL when memchr's size
parameter is 0, without accessing any memory, passing NULL to memchr is
still invalid:

C11 7.24.1p2: Where an argument declared as "size_t n" specifies the length
of the array for a function, n can have the value zero on a call to that
function. Unless explicitly stated otherwise in the description of a
particular function in this subclause, pointer arguments on such a call
shall still have valid values, as described in 7.1.4. On such a call, a
function that locates a character finds no occurrence, a function that
compares two character sequences returns zero, and a function that copies
characters copies zero characters.

see http://llvm.org/bugs/show_bug.cgi?id=18247
src/journal/journal-file.c