Update of /cvsroot/monetdb/pathfinder/compiler/mil
In directory sfp-cvsdas-1.v30.ch3.sourceforge.com:/tmp/cvs-serv8974

Modified Files:
      Tag: Nov2009
        mil_opt.c 
Log Message:
We expect assigns_to to fit into the stmts array (size OPT_STMTS) (I think).
Added assert to help Coverity.


Index: mil_opt.c
===================================================================
RCS file: /cvsroot/monetdb/pathfinder/compiler/mil/mil_opt.c,v
retrieving revision 1.37
retrieving revision 1.37.6.1
diff -u -d -r1.37 -r1.37.6.1
--- mil_opt.c   7 May 2009 14:27:51 -0000       1.37
+++ mil_opt.c   23 Dec 2009 15:47:17 -0000      1.37.6.1
@@ -462,6 +462,7 @@
         if ((assigns_to < 32768) & (o->stmts[stmt].used == 0) & 
o->stmts[stmt].inactive & (o->curvar+1 < OPT_VARS)) {
                 char *p = o->stmts[stmt].mil;
 
+                assert(assigns_to < OPT_STMTS);
                 o->stmts[stmt].assigns_to |= 32768; /* this ensures we kill 
the statement only once */
 
                 /* decrease the use count of the var declaration statement */


------------------------------------------------------------------------------
This SF.Net email is sponsored by the Verizon Developer Community
Take advantage of Verizon's best-in-class app development support
A streamlined, 14 day to market process makes app distribution fast and easy
Join now and get one step closer to millions of Verizon customers
http://p.sf.net/sfu/verizon-dev2dev 
_______________________________________________
Monetdb-pf-checkins mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/monetdb-pf-checkins

Reply via email to