Re: [PATCH] Fix ICE with builtin folding (PR tree-optimization/69156)

2016-01-13 Thread Richard Biener
On January 13, 2016 6:53:42 PM GMT+01:00, Jakub Jelinek wrote: >Hi! > >As discussed in the PR and on IRC, some places in >gimple-fold.c/match.pd >rely on the fact that if gimple_builtin_call_types_compatible_p >succeeds, then it should be ok to pass arguments and read lhs without >type conversion

[PATCH] Fix ICE with builtin folding (PR tree-optimization/69156)

2016-01-13 Thread Jakub Jelinek
Hi! As discussed in the PR and on IRC, some places in gimple-fold.c/match.pd rely on the fact that if gimple_builtin_call_types_compatible_p succeeds, then it should be ok to pass arguments and read lhs without type conversions. But, currently this function uses validate_type, which is a very wea