http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59630
--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> --- Author: rguenth Date: Wed Jan 8 09:06:27 2014 New Revision: 206421 URL: http://gcc.gnu.org/viewcvs?rev=206421&root=gcc&view=rev Log: 2014-01-08 Richard Biener <rguent...@suse.de> PR middle-end/59630 * gimple.h (is_gimple_builtin_call): Remove. (gimple_builtin_call_types_compatible_p): New. (gimple_call_builtin_p): New overload. * gimple.c (is_gimple_builtin_call): Remove. (validate_call): Rename to ... (gimple_builtin_call_types_compatible_p): ... this and export. Also check return types. (validate_type): New static function. (gimple_call_builtin_p): New overload and adjust. * gimple-fold.c (gimple_fold_builtin): Fold the return value. (gimple_fold_call): Likewise. Use gimple_call_builtin_p. (gimple_fold_stmt_to_constant_1): Likewise. * tsan.c (instrument_gimple): Use gimple_call_builtin_p. * gcc.dg/pr59630.c: New testcase. Added: trunk/gcc/testsuite/gcc.dg/pr59630.c Modified: trunk/gcc/ChangeLog trunk/gcc/gimple-fold.c trunk/gcc/gimple.c trunk/gcc/gimple.h trunk/gcc/testsuite/ChangeLog trunk/gcc/tsan.c