MonetDB: Jan2014 - Array bound check added by Coverity

[Martin Kersten]

Changeset: 19e465a09346 for MonetDB
URL: http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=19e465a09346
Modified Files:
        monetdb5/mal/mal_interpreter.c
Branch: Jan2014
Log Message:

Array bound check added by Coverity


diffs (12 lines):

diff --git a/monetdb5/mal/mal_interpreter.c b/monetdb5/mal/mal_interpreter.c
--- a/monetdb5/mal/mal_interpreter.c
+++ b/monetdb5/mal/mal_interpreter.c
@@ -805,7 +805,7 @@ str runMALsequence(Client cntxt, MalBlkP
                                                                
backup[i].val.bval = 0;
                                                                BBPdecref(bx, 
TRUE);
                                                        }
-                                                       if (garbage[i] >= 0) {
+                                                       if (i >= 0 && 
garbage[i] >= 0) {
                                                                PARDEBUG 
mnstr_printf(GDKstdout, "#GC pc=%d bid=%d %s done\n", stkpc, bid, 
getVarName(mb, garbage[i]));
                                                                bid = 
abs(stk->stk[garbage[i]].val.bval);
                                                                
stk->stk[garbage[i]].val.bval = 0;
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list