[Bug tree-optimization/47967] [4.6 Regression] ICE: verify_stmts failed: conversion of register to a different size with -fipa-cp on undefined code

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47967

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-03-04 
23:07:22 UTC ---
Author: jakub
Date: Fri Mar  4 23:07:20 2011
New Revision: 170689

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=170689
Log:
    PR tree-optimization/47967
    * ipa-cp.c (build_const_val): Return NULL instead of creating
    VIEW_CONVERT_EXPR for mismatching sizes.
    (ipcp_create_replace_map): Return NULL if build_const_val failed.
    (ipcp_insert_stage): If ipcp_create_replace_map returns NULL,
    give up on versioning.

    * gcc.c-torture/compile/pr47967.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr47967.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-cp.c
    trunk/gcc/testsuite/ChangeLog