From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 13979 invoked by alias); 7 Apr 2003 18:46:02 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 13965 invoked by uid 71); 7 Apr 2003 18:46:02 -0000 Date: Mon, 07 Apr 2003 18:46:00 -0000 Message-ID: <20030407184602.13963.qmail@sources.redhat.com> To: nobody@gcc.gnu.org Cc: gcc-prs@gcc.gnu.org, From: Wolfgang Bangerth Subject: Re: c/10339: strncmp generates imPure code (fwd) Reply-To: Wolfgang Bangerth X-SW-Source: 2003-04/txt/msg00292.txt.bz2 List-Id: The following reply was made to PR optimization/10339; it has been noted by GNATS. From: Wolfgang Bangerth To: gcc-gnats@gcc.gnu.org Cc: Subject: Re: c/10339: strncmp generates imPure code (fwd) Date: Mon, 7 Apr 2003 13:41:28 -0500 (CDT) ---------- Forwarded message ---------- Date: Mon, 07 Apr 2003 11:19:33 -0700 From: Michael Ubell To: Wolfgang Bangerth Subject: Re: c/10339: strncmp generates imPure code I am sorry for the tersness. I guess I have been looking at the generated code too much so that it becomes obvious to me. Yes that is exactly the problem. Note that in this case the compiler could actually figure out the maximum number of bytes, but in a more general case (the original problem we saw under Purify) it cannot.