This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c/59708] clang-compatible checked arithmetic builtins
- From: "jakub at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Fri, 07 Nov 2014 17:08:56 +0000
- Subject: [Bug c/59708] clang-compatible checked arithmetic builtins
- Auto-submitted: auto-generated
- References: <bug-59708-4 at http dot gcc dot gnu dot org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59708
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?id=33917&action=edit
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.