diff options
Diffstat (limited to 'gcc/emit-rtl.c')
| -rw-r--r-- | gcc/emit-rtl.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/emit-rtl.c b/gcc/emit-rtl.c index 2db0cff..f0fdc99 100644 --- a/gcc/emit-rtl.c +++ b/gcc/emit-rtl.c @@ -2526,6 +2526,8 @@ verify_rtl_sharing (void) { rtx p; + timevar_push (TV_VERIFY_RTL_SHARING); + for (p = get_insns (); p; p = NEXT_INSN (p)) if (INSN_P (p)) { @@ -2552,6 +2554,8 @@ verify_rtl_sharing (void) verify_rtx_sharing (PATTERN (p), p); verify_rtx_sharing (REG_NOTES (p), p); } + + timevar_pop (TV_VERIFY_RTL_SHARING); } /* Go through all the RTL insn bodies and copy any invalid shared structure. |