This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [PATCH] handle non-constant character assignments in strlen (PR 86083)

From: Marc Glisse <marc dot glisse at inria dot fr>
To: Martin Sebor <msebor at gmail dot com>
Cc: Gcc Patch List <gcc-patches at gcc dot gnu dot org>
Date: Mon, 11 Jun 2018 09:20:32 +0200 (CEST)
Subject: Re: [PATCH] handle non-constant character assignments in strlen (PR 86083)
References: <91a6d30a-3ec8-10a8-ed9f-200fff51b770@gmail.com>
Reply-to: Gcc Patch List <gcc-patches at gcc dot gnu dot org>

On Sun, 10 Jun 2018, Martin Sebor wrote:

The attached patch implements this idea.  (I looked for a simple
function that returns true/false based on whether a SSA_NAME is
or isn't definitely non-zero but couldn't find one so I created
one though it seems that extending one of the existing functions
might be a better approach?)

tree_expr_nonzero_p (don't know why the comment above talks aboutaddresses), expr_not_equal_to.


--
Marc Glisse

Follow-Ups:
- Re: [PATCH] handle non-constant character assignments in strlen (PR 86083)
  - From: Martin Sebor

References:
- [PATCH] handle non-constant character assignments in strlen (PR 86083)
  - From: Martin Sebor

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]