From eff0b79957b513a56c9d0c403e11663661f2c0bd Mon Sep 17 00:00:00 2001 From: FIRM Projekt Account Date: Wed, 8 Feb 2006 18:49:41 +0000 Subject: [PATCH] Fixed construction of constants (new verifyer detects this) [r7325] --- testprograms/if_while_example.c | 4 ++-- testprograms/memory_example.c | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/testprograms/if_while_example.c b/testprograms/if_while_example.c index a88b65dee..7cfaa96cb 100644 --- a/testprograms/if_while_example.c +++ b/testprograms/if_while_example.c @@ -95,8 +95,8 @@ main(void) /* generate a block for the loop header and the conditional branch */ r = new_immBlock (); add_immBlock_pred (r, x); - x = new_Cond (new_Proj(new_Cmp(new_Const (mode_Iu, new_tarval_from_long (0, mode_Is)), - new_Const (mode_Iu, new_tarval_from_long (0, mode_Is))), + x = new_Cond (new_Proj(new_Cmp(new_Const (mode_Iu, new_tarval_from_long (0, mode_Iu)), + new_Const (mode_Iu, new_tarval_from_long (0, mode_Iu))), mode_b, pn_Cmp_Eq)); f = new_Proj (x, mode_X, 0); t = new_Proj (x, mode_X, 1); diff --git a/testprograms/memory_example.c b/testprograms/memory_example.c index 12758257e..ff09a90c2 100644 --- a/testprograms/memory_example.c +++ b/testprograms/memory_example.c @@ -98,11 +98,11 @@ main(void) new_entity(get_glob_type(),new_id_from_chars("VAR_B",6),prim_t_int)); /* set VAR_A and VAR_B to constant values */ set_store (new_Proj (new_Store (get_store (), a, - new_Const (mode_Iu, new_tarval_from_long (0, mode_Is))), + new_Const (mode_Iu, new_tarval_from_long (0, mode_Iu))), mode_M, 0)); set_store (new_Proj (new_Store (get_store (), b, - new_Const (mode_Iu, new_tarval_from_long (1, mode_Is))), + new_Const (mode_Iu, new_tarval_from_long (1, mode_Iu))), mode_M, 0)); /* finish this first block */ @@ -130,7 +130,7 @@ main(void) x = new_Cond ( new_Proj ( new_Cmp ( - new_Const (mode_Iu, new_tarval_from_long (0, mode_Is)), + new_Const (mode_Iu, new_tarval_from_long (0, mode_Iu)), x), mode_b, pn_Cmp_Gt)); -- 2.20.1