diff mbox

[049/236] asan.c: strengthen some rtx locals

Message ID 1407345815-14551-50-git-send-email-dmalcolm@redhat.com
State New
Headers show

Commit Message

David Malcolm Aug. 6, 2014, 5:20 p.m. UTC 
This is an example of strengthening rtx.  For example, we
now have strong enough types provided by the existing scaffolding to
turn "insn" and "insns" in this:

  for (insn = insns; insn; insn = NEXT_INSN (insn))

from plain rtx into rtx_insn *.

gcc/
	* asan.c (asan_clear_shadow): Strengthen locals "insn", "insns"
	and "jump" from rtx to rtx_insn *.  Strengthen local "top_label"
	from rtx to rtx_code_label *.
---
 gcc/asan.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

Comments

Jeff Law Aug. 13, 2014, 6:11 p.m. UTC | #1 
On 08/06/14 11:20, David Malcolm wrote:
> This is an example of strengthening rtx.  For example, we
> now have strong enough types provided by the existing scaffolding to
> turn "insn" and "insns" in this:
>
>    for (insn = insns; insn; insn = NEXT_INSN (insn))
>
> from plain rtx into rtx_insn *.
>
> gcc/
> 	* asan.c (asan_clear_shadow): Strengthen locals "insn", "insns"
> 	and "jump" from rtx to rtx_insn *.  Strengthen local "top_label"
> 	from rtx to rtx_code_label *.
OK.
jeff
diff mbox

Patch

diff --git a/gcc/asan.c b/gcc/asan.c
index 11627c7..82e601d 100644
--- a/gcc/asan.c
+++ b/gcc/asan.c
@@ -905,7 +905,9 @@  asan_shadow_cst (unsigned char shadow_bytes[4])
 static void
 asan_clear_shadow (rtx shadow_mem, HOST_WIDE_INT len)
 {
-  rtx insn, insns, top_label, end, addr, tmp, jump;
+  rtx_insn *insn, *insns, *jump;
+  rtx_code_label *top_label;
+  rtx end, addr, tmp;
 
   start_sequence ();
   clear_storage (shadow_mem, GEN_INT (len), BLOCK_OP_NORMAL);