diff options
| author | Alexander Ivchenko <alexander.ivchenko@intel.com> | 2017-06-08 16:05:59 +0000 |
|---|---|---|
| committer | Alexander Ivchenko <aivchenk@gcc.gnu.org> | 2017-06-08 16:05:59 +0000 |
| commit | 77db6c1549c8e8d831a5fa0a246415e7572678e2 (patch) | |
| tree | 08fd7d41f9cc1d6a46debb03179e9ff2180346cb /gcc | |
| parent | e6026dc04cb8dd7f5f68d6ac586665cc0643d5c0 (diff) | |
| download | gcc-77db6c1549c8e8d831a5fa0a246415e7572678e2.zip gcc-77db6c1549c8e8d831a5fa0a246415e7572678e2.tar.gz gcc-77db6c1549c8e8d831a5fa0a246415e7572678e2.tar.bz2 | |
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 <alexander.ivchenko@intel.com>
PR middle-end/79988
* tree-chkp.c (chkp_gimple_call_builtin_p): Remove
gimple_call_builtin_p call.
017-06-08 Alexander Ivchenko <alexander.ivchenko@intel.com>
PR middle-end/79988
* gcc.target/i386/mpx/pr79988.c: New test.
From-SVN: r249023
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/i386/mpx/pr79988.c | 6 | ||||
| -rw-r--r-- | gcc/tree-chkp.c | 6 |
4 files changed, 22 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 141836f..5b8d35e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-06-08 Alexander Ivchenko <alexander.ivchenko@intel.com> + + PR middle-end/79988 + * tree-chkp.c (chkp_gimple_call_builtin_p): Remove + gimple_call_builtin_p call. + 2017-06-08 Jan Hubicka <hubicka@ucw.cz> * system.h (fancy_abort): Annotate by ATTRIBUTE_COLD. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e077cbb..0cefe33 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2017-06-08 Alexander Ivchenko <alexander.ivchenko@intel.com> + PR middle-end/79988 + * gcc.target/i386/mpx/pr79988.c: New test. + +2017-06-08 Alexander Ivchenko <alexander.ivchenko@intel.com> + * gcc.target/i386/mpx/hard-reg-2-lbv.c: New test. * gcc.target/i386/mpx/hard-reg-2-nov.c: New test. * gcc.target/i386/mpx/hard-reg-2-ubv.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 0000000..a6e43eb --- /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 e36ecbf..3464343 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))) |