diff options
| author | Ilya Enkovich <ilya.enkovich@intel.com> | 2016-05-10 16:06:36 +0000 |
|---|---|---|
| committer | Ilya Enkovich <ienkovich@gcc.gnu.org> | 2016-05-10 16:06:36 +0000 |
| commit | 1e3af2a4e0f65adf5cfb2d4faf48eeab94eff280 (patch) | |
| tree | 1af996345d268d77408e804d789ecc0c6a911be8 /gcc/tree-chkp.c | |
| parent | cd36c83e9bb1c8cf66082da63234925482695ef1 (diff) | |
| download | gcc-1e3af2a4e0f65adf5cfb2d4faf48eeab94eff280.zip gcc-1e3af2a4e0f65adf5cfb2d4faf48eeab94eff280.tar.gz gcc-1e3af2a4e0f65adf5cfb2d4faf48eeab94eff280.tar.bz2 | |
re PR middle-end/70877 ([MPX] ICE in in convert_move)
gcc/
PR middle-end/70877
* tree-chkp.c (chkp_add_bounds_to_call_stmt): Handle
calls with type casted fndecl.
gcc/testsuite/
PR middle-end/70877
* gcc.target/i386/pr70877.c: New test.
From-SVN: r236088
Diffstat (limited to 'gcc/tree-chkp.c')
| -rw-r--r-- | gcc/tree-chkp.c | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/gcc/tree-chkp.c b/gcc/tree-chkp.c index 8c7d214..4ca2d34 100644 --- a/gcc/tree-chkp.c +++ b/gcc/tree-chkp.c @@ -1853,7 +1853,9 @@ chkp_add_bounds_to_call_stmt (gimple_stmt_iterator *gsi) /* If function decl is available then use it for formal arguments list. Otherwise use function type. */ - if (fndecl && DECL_ARGUMENTS (fndecl)) + if (fndecl + && DECL_ARGUMENTS (fndecl) + && gimple_call_fntype (call) == TREE_TYPE (fndecl)) first_formal_arg = DECL_ARGUMENTS (fndecl); else { @@ -1929,7 +1931,16 @@ chkp_add_bounds_to_call_stmt (gimple_stmt_iterator *gsi) { tree new_decl = chkp_maybe_create_clone (fndecl)->decl; gimple_call_set_fndecl (new_call, new_decl); - gimple_call_set_fntype (new_call, TREE_TYPE (new_decl)); + /* In case of a type cast we should modify used function + type instead of using type of new fndecl. */ + if (gimple_call_fntype (call) != TREE_TYPE (fndecl)) + { + tree type = gimple_call_fntype (call); + type = chkp_copy_function_type_adding_bounds (type); + gimple_call_set_fntype (new_call, type); + } + else + gimple_call_set_fntype (new_call, TREE_TYPE (new_decl)); } /* For indirect call we should fix function pointer type if pass some bounds. */ |