This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] Fix failure of ACATS c45503c at -O2
- From: Joseph Myers <joseph at codesourcery dot com>
- To: Jeff Law <law at redhat dot com>
- Cc: Eric Botcazou <ebotcazou at adacore dot com>, <gcc-patches at gcc dot gnu dot org>
- Date: Tue, 20 Oct 2015 22:00:07 +0000
- Subject: Re: [patch] Fix failure of ACATS c45503c at -O2
- Authentication-results: sourceware.org; auth=none
- References: <1990513 dot tXxA4OvBVE at polaris> <56268F8A dot 1040707 at redhat dot com>
On Tue, 20 Oct 2015, Jeff Law wrote:
> > 2015-10-20 Eric Botcazou <ebotcazou@adacore.com>
> >
> > * fold-const.c (tree_binary_nonnegative_warnv_p) <FLOOR_MOD_EXPR>:
> > Recurse on operand #1 instead of operand #0.
> > <CEIL_MOD_EXPR>: Do not recurse.
> > <ROUND_MOD_EXPR>: Likewise.
> Isn't this a function of the language and in some cases isn't it
> implementation defined (true for C/C++ until C++11)?
The language determines *which* *_DIV_EXPR or *_MOD_EXPR is used. The
semantics of each of them should be language-independent.
--
Joseph S. Myers
joseph@codesourcery.com