From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <fweimer@redhat.com>
Received: from us-smtp-delivery-124.mimecast.com
 (us-smtp-delivery-124.mimecast.com [170.10.129.124])
 by sourceware.org (Postfix) with ESMTPS id EA6CD385842B
 for <libc-alpha@sourceware.org>; Wed, 27 Apr 2022 15:24:27 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org EA6CD385842B
Received: from mimecast-mx02.redhat.com (mimecast-mx02.redhat.com
 [66.187.233.88]) by relay.mimecast.com with ESMTP with STARTTLS
 (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id
 us-mta-435-KIG_NpLVN3Svhp1SPuQDNA-1; Wed, 27 Apr 2022 11:24:24 -0400
X-MC-Unique: KIG_NpLVN3Svhp1SPuQDNA-1
Received: from smtp.corp.redhat.com (int-mx09.intmail.prod.int.rdu2.redhat.com
 [10.11.54.9])
 (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by mimecast-mx02.redhat.com (Postfix) with ESMTPS id CCD561857F07;
 Wed, 27 Apr 2022 15:24:23 +0000 (UTC)
Received: from oldenburg.str.redhat.com (unknown [10.39.193.187])
 by smtp.corp.redhat.com (Postfix) with ESMTPS id 007925E1A31;
 Wed, 27 Apr 2022 15:24:22 +0000 (UTC)
From: Florian Weimer <fweimer@redhat.com>
To: Stefan Liebler via Libc-alpha <libc-alpha@sourceware.org>
Cc: Stefan Liebler <stli@linux.ibm.com>
Subject: Re: Question regarding gcc 12 Werror=stringop-overflow in iconv/loop.c
References: <7f96a24c-86c7-1fb9-7820-1e27bce6cd56@linux.ibm.com>
Date: Wed, 27 Apr 2022 17:24:21 +0200
In-Reply-To: <7f96a24c-86c7-1fb9-7820-1e27bce6cd56@linux.ibm.com> (Stefan
 Liebler via Libc-alpha's message of "Wed, 27 Apr 2022 16:55:01 +0200")
Message-ID: <87y1zqft22.fsf@oldenburg.str.redhat.com>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
MIME-Version: 1.0
X-Scanned-By: MIMEDefang 2.85 on 10.11.54.9
X-Mimecast-Spam-Score: 0
X-Mimecast-Originator: redhat.com
Content-Type: text/plain
X-Spam-Status: No, score=-5.1 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH,
 DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, RCVD_IN_DNSWL_LOW,
 SPF_HELO_NONE, SPF_NONE, TXREP autolearn=ham autolearn_force=no version=3.4.4
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on
 server2.sourceware.org
X-BeenThere: libc-alpha@sourceware.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Libc-alpha mailing list <libc-alpha.sourceware.org>
List-Unsubscribe: <https://sourceware.org/mailman/options/libc-alpha>,
 <mailto:libc-alpha-request@sourceware.org?subject=unsubscribe>
List-Archive: <https://sourceware.org/pipermail/libc-alpha/>
List-Post: <mailto:libc-alpha@sourceware.org>
List-Help: <mailto:libc-alpha-request@sourceware.org?subject=help>
List-Subscribe: <https://sourceware.org/mailman/listinfo/libc-alpha>,
 <mailto:libc-alpha-request@sourceware.org?subject=subscribe>
X-List-Received-Date: Wed, 27 Apr 2022 15:24:29 -0000

* Stefan Liebler via Libc-alpha:

> Is there a guarantee that (inptr < inend) is always met?

When calling iconv (the external API), inptr <= inend must hold (no
pointer wraparound).  I think there is a minimum-input-size check in
iconv/loop.c, so it follows that we have inptr < inend.  I think.

Thanks,
Florian