[Bug tree-optimization/64006] __builtin_mul_overflow fails to signal overflow

[jakub at gcc dot gnu.org]

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Fri Nov 21 20:41:37 2014
New Revision: 217945

URL: https://gcc.gnu.org/viewcvs?rev=217945&root=gcc&view=rev
Log:
    PR tree-optimization/64006
    * tree-vrp.c (stmt_interesting_for_vrp): Return true
    for {ADD,SUB,MUL}_OVERFLOW internal calls.
    (vrp_visit_assignment_or_call): For {ADD,SUB,MUL}_OVERFLOW
    internal calls, check if any REALPART_EXPR/IMAGPART_EXPR
    immediate uses would change their value ranges and return
    SSA_PROP_INTERESTING if so, or SSA_PROP_NOT_INTERESTING
    if there are some REALPART_EXPR/IMAGPART_EXPR immediate uses
    interesting for vrp.

    * gcc.c-torture/execute/pr64006.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/pr64006.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c