https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63772

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|libgcc                      |middle-end

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Дилян Палаузов from comment #0)
> Please make sure, that gcc/gtype-desc.c does not include twice basic-block.h
> and ggc.h , as one inclusion is sufficient.

It does not hurt anything and there are optimizations inside libcpp just for
this thing.
>From gcc-bugs-return-465998-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Nov 07 17:09:05 2014
Return-Path: <gcc-bugs-return-465998-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 30264 invoked by alias); 7 Nov 2014 17:09:05 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 30215 invoked by uid 48); 7 Nov 2014 17:09:01 -0000
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/59708] clang-compatible checked arithmetic builtins
Date: Fri, 07 Nov 2014 17:09:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c
X-Bugzilla-Version: unknown
X-Bugzilla-Keywords:
X-Bugzilla-Severity: enhancement
X-Bugzilla-Who: jakub at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: jakub at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: attachments.isobsolete attachments.created
Message-ID: <bug-59708-4-Hb8VkSVULj@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59708-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59708-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-11/txt/msg00470.txt.bz2
Content-length: 1093

https://gcc.gnu.org/bugzilla/show_bug.cgi?idY708

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #33912|0                           |1
        is obsolete|                            |

--- Comment #14 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 33917
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id3917&action�it
gcc5-pr59708-wip4.patch

Hopefully feature complete version now, have added handling of result types
narrower than operand types, handling of different sign multiplications,
further optimizations to determine always non-negative or always negative
arguments (using cast analysis, VRP saved ranges), minimum precision needed to
hold all values of argument, fixed up VRP optimizations of these builtins and
added gimple_fold optimization to fold the builtins if the overflow part of the
result is never used.  Now just need to add lots of further testcases and fix
any bugs those could uncover.