PatchSet 4471 
Date: 2004/02/28 16:52:30
Author: dalibor
Branch: HEAD
Tag: (none) 
Log:
Use getNextPC consistenly

2004-02-28  Dalibor Topic <[EMAIL PROTECTED]>

        * kaffe/kaffevm/verify.c
        Use getNextPC consistently.

Members: 
        ChangeLog:1.2051->1.2052 
        kaffe/kaffevm/verify.c:1.63->1.64 

Index: kaffe/ChangeLog
diff -u kaffe/ChangeLog:1.2051 kaffe/ChangeLog:1.2052
--- kaffe/ChangeLog:1.2051      Sat Feb 28 14:39:13 2004
+++ kaffe/ChangeLog     Sat Feb 28 16:52:30 2004
@@ -1,6 +1,11 @@
 2004-02-28  Dalibor Topic <[EMAIL PROTECTED]>
 
         * kaffe/kaffevm/verify.c
+       Use getNextPC consistently.
+
+2004-02-28  Dalibor Topic <[EMAIL PROTECTED]>
+
+        * kaffe/kaffevm/verify.c
         (getNextPC): New static inline function.
         (NEXTPC) Removed.
         Replaced use of NEXTPC by getNextPC.
Index: kaffe/kaffe/kaffevm/verify.c
diff -u kaffe/kaffe/kaffevm/verify.c:1.63 kaffe/kaffe/kaffevm/verify.c:1.64
--- kaffe/kaffe/kaffevm/verify.c:1.63   Sat Feb 28 14:39:16 2004
+++ kaffe/kaffe/kaffevm/verify.c        Sat Feb 28 16:52:31 2004
@@ -1493,7 +1493,7 @@
                
                DBG(VERIFY3, dprintf("        instruction: (%d) ", pc); 
printInstruction(code[pc]); dprintf("\n"); );
                
-               if (codelen - pc < insnLen[code[pc]]) {
+               if (codelen < getNextPC(code, pc)) {
                        return verifyErrorInVerifyMethod3a(einfo, method, "last 
operand in code array is cut off");
                }
                
@@ -2214,8 +2214,8 @@
                 * merge this block's information into the next block
                 */
                pc = curBlock->lastAddr;
-               if (code[pc] == WIDE && code[pc + insnLen[code[pc]]] == RET)
-                       pc += insnLen[code[pc]];
+               if (code[pc] == WIDE && code[getNextPC(code, pc)] == RET)
+                       pc = getNextPC(code, pc);
                switch(code[pc])
                        {
                        case GOTO:
@@ -3383,7 +3383,7 @@
                        
                        ENSURE_LOCAL_TYPE(idx, TINT);
                        
-                       pc += insnLen[code[pc]];
+                       pc = getNextPC(code, pc);
                        if (wide == true) {
                                pc += 2;
                                wide = false;
@@ -3736,7 +3736,7 @@
                        block->stacksz++;
                        type = getOpstackTop(block);
                        type->tinfo = TINFO_ADDR;
-                       type->data.addr = pc + insnLen[code[pc]];
+                       type->data.addr = getNextPC(code, pc);
                        break;
 
                case RET:
@@ -3980,7 +3980,7 @@
                        
                case WIDE:
                        wide = true;
-                       pc += insnLen[code[pc]];
+                       pc = getNextPC(code, pc);
                        continue;
                        
                default:
@@ -3989,7 +3989,7 @@
                }
                
                
-               pc += insnLen[code[pc]];
+               pc = getNextPC(code, pc);
                if (wide == true) {
                        wide = false;
                        pc++;

_______________________________________________
kaffe mailing list
[EMAIL PROTECTED]
http://kaffe.org/cgi-bin/mailman/listinfo/kaffe

Reply via email to