aboutsummaryrefslogtreecommitdiff
path: root/gcc/gimple.c
diff options
context:
space:
mode:
authorRichard Biener <rguenther@suse.de>2021-07-12 10:26:25 +0200
committerRichard Biener <rguenther@suse.de>2021-07-12 12:18:37 +0200
commit123d0a597beb6d9865f808bf15b0d67f2a8fd5b2 (patch)
treeb9eab77ef25cd612baffefa39709230e355a4fd5 /gcc/gimple.c
parent0192c3eedbc7e6fe703abd8b321f400ddb02adf7 (diff)
downloadgcc-123d0a597beb6d9865f808bf15b0d67f2a8fd5b2.zip
gcc-123d0a597beb6d9865f808bf15b0d67f2a8fd5b2.tar.gz
gcc-123d0a597beb6d9865f808bf15b0d67f2a8fd5b2.tar.bz2
middle-end/101423 - internal calls do not trap
This adjusts gimple_could_trap_p to not consider internal function calls to trap compared to indirect calls or calls to weak functions. 2021-07-12 Richard Biener <rguenther@suse.de> PR middle-end/101423 * gimple.c (gimple_could_trap_p_1): Internal function calls do not trap. * tree-eh.c (tree_could_trap_p): Likewise.
Diffstat (limited to 'gcc/gimple.c')
-rw-r--r--gcc/gimple.c4
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/gimple.c b/gcc/gimple.c
index 60a9066..cc46454 100644
--- a/gcc/gimple.c
+++ b/gcc/gimple.c
@@ -2149,8 +2149,10 @@ gimple_could_trap_p_1 (gimple *s, bool include_mem, bool include_stores)
return gimple_asm_volatile_p (as_a <gasm *> (s));
case GIMPLE_CALL:
+ if (gimple_call_internal_p (s))
+ return false;
t = gimple_call_fndecl (s);
- /* Assume that calls to weak functions may trap. */
+ /* Assume that indirect and calls to weak functions may trap. */
if (!t || !DECL_P (t) || DECL_WEAK (t))
return true;
return false;