From 77db6c1549c8e8d831a5fa0a246415e7572678e2 Mon Sep 17 00:00:00 2001 From: Alexander Ivchenko Date: Thu, 8 Jun 2017 16:05:59 +0000 Subject: [PATCH] re PR middle-end/79988 ([CHKP] ICE in tree check: accessed operand 5 of call_expr with 4 operands in ix86_expand_builtin, at config/i386/i386.c:36851) 2017-06-08 Alexander Ivchenko PR middle-end/79988 * tree-chkp.c (chkp_gimple_call_builtin_p): Remove gimple_call_builtin_p call. 017-06-08 Alexander Ivchenko PR middle-end/79988 * gcc.target/i386/mpx/pr79988.c: New test. From-SVN: r249023 --- gcc/ChangeLog | 6 ++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.target/i386/mpx/pr79988.c | 6 ++++++ gcc/tree-chkp.c | 6 +++++- 4 files changed, 22 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.target/i386/mpx/pr79988.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 141836fcdfb..5b8d35ece2b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-06-08 Alexander Ivchenko + + PR middle-end/79988 + * tree-chkp.c (chkp_gimple_call_builtin_p): Remove + gimple_call_builtin_p call. + 2017-06-08 Jan Hubicka * system.h (fancy_abort): Annotate by ATTRIBUTE_COLD. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e077cbb5f5a..0cefe33825c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2017-06-08 Alexander Ivchenko + + PR middle-end/79988 + * gcc.target/i386/mpx/pr79988.c: New test. + 2017-06-08 Alexander Ivchenko * gcc.target/i386/mpx/hard-reg-2-lbv.c: New test. diff --git a/gcc/testsuite/gcc.target/i386/mpx/pr79988.c b/gcc/testsuite/gcc.target/i386/mpx/pr79988.c new file mode 100644 index 00000000000..a6e43eba562 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/mpx/pr79988.c @@ -0,0 +1,6 @@ +/* { dg-do compile } */ +/* { dg-options "-fcheck-pointer-bounds -mmpx" } */ + +void foo(unsigned char * __seg_gs *pointer_gs) { + pointer_gs[5] = 0; +} diff --git a/gcc/tree-chkp.c b/gcc/tree-chkp.c index e36ecbfbbe0..3464343682d 100644 --- a/gcc/tree-chkp.c +++ b/gcc/tree-chkp.c @@ -435,7 +435,11 @@ chkp_gimple_call_builtin_p (gimple *call, enum built_in_function code) { tree fndecl; - if (gimple_call_builtin_p (call, BUILT_IN_MD) + /* We are skipping the check for address-spaces, that's + why we don't use gimple_call_builtin_p directly here. */ + if (is_gimple_call (call) + && (fndecl = gimple_call_fndecl (call)) != NULL + && DECL_BUILT_IN_CLASS (fndecl) == BUILT_IN_MD && (fndecl = targetm.builtin_chkp_function (code)) && (DECL_FUNCTION_CODE (gimple_call_fndecl (call)) == DECL_FUNCTION_CODE (fndecl))) -- 2.30.2