bug-bash
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: bash-4.3 bug report


From: Andreas Schwab
Subject: Re: bash-4.3 bug report
Date: Mon, 14 Apr 2014 17:26:30 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)

Eric Blake <eblake@redhat.com> writes:

> It silences static code checkers and avoids undefined C behavior.
>
> Also, if invokers[] is allocated such that it ends on the end of a page
> boundary (such as might be the case under certain malloc debuggers),
> then doing the bounds check first will avoid an out-of-bounds access
> causing a SEGFAULT.

invokers[] is guaranteed to end with a NULL element, so there cannot be
any out-of-bounds access, and the use is completely defined.  The NULL
check is the primary condition, with the index check only being
secondary.

Andreas.

-- 
Andreas Schwab, SUSE Labs, schwab@suse.de
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE  1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."



reply via email to

[Prev in Thread] Current Thread [Next in Thread]