From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <libc-alpha-return-67676-listarch-libc-alpha=sources.redhat.com@sourceware.org>
Received: (qmail 94334 invoked by alias); 26 Feb 2016 20:07:57 -0000
Mailing-List: contact libc-alpha-help@sourceware.org; run by ezmlm
Precedence: bulk
List-Id: <libc-alpha.sourceware.org>
List-Subscribe: <mailto:libc-alpha-subscribe@sourceware.org>
List-Archive: <http://sourceware.org/ml/libc-alpha/>
List-Post: <mailto:libc-alpha@sourceware.org>
List-Help: <mailto:libc-alpha-help@sourceware.org>, <http://sourceware.org/ml/#faqs>
Sender: libc-alpha-owner@sourceware.org
Received: (qmail 94314 invoked by uid 89); 26 Feb 2016 20:07:56 -0000
Authentication-Results: sourceware.org; auth=none
X-Virus-Found: No
X-Spam-SWARE-Status: No, score=-1.8 required=5.0 tests=AWL,BAYES_00,RP_MATCHES_RCVD,SPF_PASS autolearn=ham version=3.3.2 spammy=Hx-languages-length:357
X-HELO: zimbra.cs.ucla.edu
Subject: Re: [PATCH 1/3] posix: Remove dynamic memory allocation from
 execl{e,p}
To: Adhemerval Zanella <adhemerval.zanella@linaro.org>,
 libc-alpha@sourceware.org
References: <1456495001-5298-1-git-send-email-adhemerval.zanella@linaro.org>
 <1456495001-5298-2-git-send-email-adhemerval.zanella@linaro.org>
 <56D09DD3.2050601@cs.ucla.edu> <56D0AA3A.9020207@linaro.org>
From: Paul Eggert <eggert@cs.ucla.edu>
Message-ID: <56D0B099.4080205@cs.ucla.edu>
Date: Fri, 26 Feb 2016 20:13:00 -0000
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <56D0AA3A.9020207@linaro.org>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-SW-Source: 2016-02/txt/msg00847.txt.bz2

On 02/26/2016 11:40 AM, Adhemerval Zanella wrote:
> Indeed, but afaik this code won't execute if argc == INT_MAX (the argument
> sanity check will make the function with E2BIG).

No, because we add 1 to argc after testing that it is not INT_MAX. So 
argc can equal INT_MAX after that.