assert 1138 lib/as3/abc.c assert(c->constructor);
assert 1145 lib/as3/abc.c assert(c->static_constructor);
assert 45 lib/as3/assets.c assert(asset);
assert 473 lib/as3/code.c assert(pos<=2);
assert 603 lib/as3/code.c assert(tag->len - start == pos);
assert 638 lib/as3/code.c assert(strchr(op->params, 'n'));
assert 818 lib/as3/code.c assert(c->next == stats->stack[pos].code);
assert 897 lib/as3/code.c assert(!cc->next || cc->next->prev == cc);
assert 1224 lib/as3/code.c assert(!c->next);
assert 1243 lib/as3/code.c assert(!c->next);
assert 41 lib/as3/initcode.c assert(!c1 || !c2); // otherwise we would have a loop
assert 42 lib/as3/initcode.c assert(!c1 || c1==p1->cls);
assert 43 lib/as3/initcode.c assert(!c2 || c2==p2->cls);
assert 54 lib/as3/initcode.c assert(!c1 || !c2);
assert 55 lib/as3/initcode.c assert(!c1 || c1==p1->cls);
assert 56 lib/as3/initcode.c assert(!c2 || c2==p2->cls);
assert 83 lib/as3/initcode.c assert(n->cls == c);
assert 683 lib/as3/pool.c assert(NS_TYPE(c->type));
assert 793 lib/as3/pool.c assert(c->ns);
assert 797 lib/as3/pool.c assert(c->type == c->ns->access);
assert 872 lib/as3/pool.c assert(pos!=0);
assert 878 lib/as3/pool.c assert(pos!=0);
assert 884 lib/as3/pool.c assert(pos!=0);
assert 892 lib/as3/pool.c assert(pos!=0);
assert 899 lib/as3/pool.c assert(pos!=0);
assert 906 lib/as3/pool.c assert(pos!=0 || ns->access==ZERONAMESPACE);
assert 913 lib/as3/pool.c assert(pos!=0);
assert 920 lib/as3/pool.c assert(pos!=0);
assert 929 lib/as3/pool.c assert(pos!=0);
assert 1355 lib/as3/pool.c assert(m->type==0x07 || m->type==0x0d);
assert 1360 lib/as3/pool.c assert(m->type!=0x07 && m->type!=0x0d);
assert 1364 lib/as3/pool.c assert(m->type==0x09 || m->type==0x0e || m->type==0x07 || m->type==0x0d || m->type==0x0f || m->type==0x10);
assert 1372 lib/as3/pool.c assert(m->type!=0x0e && m->type!=0x07 && m->type!=0x0d && m->type!=0x0f && m->type!=0x10);
assert 1375 lib/as3/pool.c assert(m->type==0x09 || m->type==0x0e || m->type==0x1c || m->type==0x1b);
assert 1380 lib/as3/pool.c assert(m->type!=0x09 && m->type!=0x0e && m->type!=0x1c && m->type!=0x1b);
assert 284 lib/as3/registry.c assert(registry_classes);
assert 299 lib/as3/registry.c assert(c);
assert 447 lib/devices/pdf.c assert(gfxfontlist_hasfont(i->fontlist, font));
assert 211 lib/devices/polyops.c assert(i->clip->openclips <= 1);
assert 469 lib/devices/record.c assert(id>=0 && id<16);
assert 471 lib/devices/record.c assert(state->last_string[id]);
assert 483 lib/devices/record.c assert(id>=0 && id<16);
assert 492 lib/devices/record.c assert(id>=0 && id<16);
assert 665 lib/devices/swf.c assert(!chardata->next || chardata->pos == CHARDATAMAX);
assert 666 lib/devices/swf.c assert(chardata->pos);
assert 302 lib/gfxfilter.c assert(i->num_passes>2);
assert 380 lib/gfxfilter.c assert(cmd);
assert 589 lib/gfxfont.c assert(font->unicode2glyph[u]<0); // we took care of duplicates, right?
assert 590 lib/gfxfont.c assert(u<font->max_unicode);
assert 377 lib/gfxpoly.c assert(pos<=len);
assert 383 lib/gfxpoly.c assert(pos<=len);
assert 395 lib/gfxpoly.c assert(pos<=len);
assert 405 lib/gfxpoly.c assert(vec[lastmove].code == ART_MOVETO_OPEN);
assert 413 lib/gfxpoly.c assert(pos == len);
assert 658 lib/gfxpoly.c assert(c1 <= num_points);
assert 43 lib/gfxpoly/active.c assert(!s || !s->left);
assert 53 lib/gfxpoly/active.c assert((XPOS(s, y) - XPOS(l, y)) >= 0);
assert 54 lib/gfxpoly/active.c assert(XDIFF(s,l,y) >= 0);
assert 58 lib/gfxpoly/active.c assert(!s->left || s->left->right == s);
assert 59 lib/gfxpoly/active.c assert(!s->right || s->right->left == s);
assert 109 lib/gfxpoly/active.c assert(!(d>=0 && to_the_left));
assert 159 lib/gfxpoly/active.c assert(cmp(a->list, p1, p2)<0);
assert 191 lib/gfxpoly/active.c assert(l == last);
assert 226 lib/gfxpoly/active.c assert(s->leftchild);
assert 252 lib/gfxpoly/active.c assert(s->rightchild);
assert 345 lib/gfxpoly/active.c assert(s->parent);
assert 354 lib/gfxpoly/active.c assert(a->root == s);
assert 374 lib/gfxpoly/active.c assert(0);
assert 460 lib/gfxpoly/active.c assert(!s->leftchild);
assert 461 lib/gfxpoly/active.c assert(!s->rightchild);
assert 477 lib/gfxpoly/active.c assert(actlist_splay_verify(a));
assert 486 lib/gfxpoly/active.c assert(actlist_splay_verify(a));
assert 488 lib/gfxpoly/active.c assert(actlist_splay_verify(a));
assert 501 lib/gfxpoly/active.c assert(a->root == s);
assert 523 lib/gfxpoly/active.c assert(!a->root->leftchild->rightchild);
assert 537 lib/gfxpoly/active.c assert(!a->root->rightchild->leftchild);
assert 546 lib/gfxpoly/active.c assert(actlist_splay_verify(a));
assert 583 lib/gfxpoly/active.c assert(actlist_splay_verify(a));
assert 590 lib/gfxpoly/active.c assert(s==s2);
assert 619 lib/gfxpoly/active.c assert(s1->rightchild == s2); // because s1 < s2
assert 626 lib/gfxpoly/active.c else {assert(p->rightchild == s1);p->rightchild=s2;}
assert 643 lib/gfxpoly/active.c assert(s2->leftchild == s1); // because s1 < s2
assert 649 lib/gfxpoly/active.c else {assert(p->rightchild == s2);p->rightchild=s1;}
assert 670 lib/gfxpoly/active.c assert(s1p || s2p);
assert 673 lib/gfxpoly/active.c else {assert(s1p->rightchild == s1);s1p->rightchild=s2;}
assert 679 lib/gfxpoly/active.c else {assert(s2p->rightchild == s2);s2p->rightchild=s1;}
assert 689 lib/gfxpoly/active.c assert(actlist_splay_verify(a));
assert 27 lib/gfxpoly/convert.c assert(!line || line[0].type == gfx_moveTo);
assert 142 lib/gfxpoly/convert.c assert(data->dir != DIR_UNKNOWN);
assert 155 lib/gfxpoly/convert.c assert(p[t].y<=p[t+1].y);
assert 200 lib/gfxpoly/convert.c assert(data->points_size > data->num_points);
assert 352 lib/gfxpoly/convert.c assert(!(i->last && (i->x0 == INVALID_COORD || i->y0 == INVALID_COORD)));
assert 397 lib/gfxpoly/convert.c assert(stroke->num_points);
assert 433 lib/gfxpoly/convert.c assert(stroke->num_points>1);
assert 461 lib/gfxpoly/convert.c assert(del1 && del2);
assert 463 lib/gfxpoly/convert.c assert(dict_contains(todo, stroke));
assert 487 lib/gfxpoly/convert.c assert(!should_connect);
assert 500 lib/gfxpoly/convert.c assert(del);
assert 501 lib/gfxpoly/convert.c assert(!dict_contains(todo, stroke));
assert 196 lib/gfxpoly/poly.c assert(stroke->fs);
assert 210 lib/gfxpoly/poly.c assert(!dict_contains(d2, &p));
assert 220 lib/gfxpoly/poly.c assert(dict_contains(d2, &p));
assert 241 lib/gfxpoly/poly.c assert(dict_contains(d1, p2));
assert 387 lib/gfxpoly/poly.c assert(0);
assert 407 lib/gfxpoly/poly.c assert(y1<y2);
assert 446 lib/gfxpoly/poly.c assert(LINE_EQ(s->a, s) == 0);
assert 447 lib/gfxpoly/poly.c assert(LINE_EQ(s->b, s) == 0);
assert 458 lib/gfxpoly/poly.c assert(LINE_EQ(p, s) <= 0);
assert 460 lib/gfxpoly/poly.c assert(LINE_EQ(p, s) >= 0);
assert 495 lib/gfxpoly/poly.c assert(stroke->points[pos].y <= stroke->points[pos+1].y);
assert 533 lib/gfxpoly/poly.c assert(stroke->num_points > 1);
assert 538 lib/gfxpoly/poly.c assert(stroke->points[s].y <= stroke->points[s+1].y);
assert 548 lib/gfxpoly/poly.c assert(s->b.y > status->y);
assert 563 lib/gfxpoly/poly.c assert(s1!=s2);
assert 564 lib/gfxpoly/poly.c assert(s1->right == s2);
assert 565 lib/gfxpoly/poly.c assert(s2->left == s1);
assert 575 lib/gfxpoly/poly.c assert(minx1 == s1->minx && minx2 == s2->minx);
assert 576 lib/gfxpoly/poly.c assert(maxx1 == s1->maxx && maxx2 == s2->maxx);
assert 578 lib/gfxpoly/poly.c assert(!(maxy1 <= miny2 || maxy2 <= miny1));
assert 581 lib/gfxpoly/poly.c assert(!(s1->minx > s2->maxx));
assert 582 lib/gfxpoly/poly.c assert(s1->minx != s2->maxx || (!s1->delta.x && !s2->delta.x));
assert 650 lib/gfxpoly/poly.c assert(0);
assert 678 lib/gfxpoly/poly.c assert(0);
assert 700 lib/gfxpoly/poly.c assert(!(asign1<0 && bsign1>0));
assert 701 lib/gfxpoly/poly.c assert(!(asign2>0 && bsign2<0));
assert 711 lib/gfxpoly/poly.c assert(p.y >= status->y);
assert 713 lib/gfxpoly/poly.c assert(p.x >= s1->minx && p.x <= s1->maxx);
assert 714 lib/gfxpoly/poly.c assert(p.x >= s2->minx && p.x <= s2->maxx);
assert 720 lib/gfxpoly/poly.c assert(!dict_contains(status->seen_crossings, &pair));
assert 755 lib/gfxpoly/poly.c assert(s2->left == s1);
assert 756 lib/gfxpoly/poly.c assert(s1->right == s2);
assert 758 lib/gfxpoly/poly.c assert(s2->right == s1);
assert 759 lib/gfxpoly/poly.c assert(s1->left == s2);
assert 805 lib/gfxpoly/poly.c assert(stroke->fs);
assert 814 lib/gfxpoly/poly.c assert(s->pos.x != p.x || s->pos.y != p.y);
assert 819 lib/gfxpoly/poly.c assert(s->fs_out_ok);
assert 833 lib/gfxpoly/poly.c assert(s->pos.y != p.y);
assert 1002 lib/gfxpoly/poly.c assert(seg->b.y == status->y);
assert 1006 lib/gfxpoly/poly.c assert(seg->b.x == status->xrow->x[0]);
assert 1038 lib/gfxpoly/poly.c assert(ok);
assert 1075 lib/gfxpoly/poly.c assert(!s->changed);
assert 1080 lib/gfxpoly/poly.c assert(!s->changed);
assert 1107 lib/gfxpoly/poly.c assert(!(!s->changed && fs_old!=s->fs_out));
assert 1130 lib/gfxpoly/poly.c assert(!left);
assert 1140 lib/gfxpoly/poly.c assert(s);
assert 1151 lib/gfxpoly/poly.c assert(x >= h->a.x);
assert 1152 lib/gfxpoly/poly.c assert(x <= h->b.x);
assert 1153 lib/gfxpoly/poly.c assert(s->delta.x > 0 && x >= s->a.x || s->delta.x <= 0 && x <= s->a.x);
assert 1154 lib/gfxpoly/poly.c assert(s->delta.x > 0 && x <= s->b.x || s->delta.x <= 0 && x >= s->b.x);
assert 1206 lib/gfxpoly/poly.c assert(!left || left->fs_out_ok);
assert 1287 lib/gfxpoly/poly.c assert(horiz->data[t].x1 != horiz->data[t].x2);
assert 1333 lib/gfxpoly/poly.c assert(e->h->y == status->y);
assert 1334 lib/gfxpoly/poly.c assert(xrow_contains(status->xrow, e->h->x1));
assert 1335 lib/gfxpoly/poly.c assert(xrow_contains(status->xrow, e->h->x2));
assert 1350 lib/gfxpoly/poly.c assert(status->y == open[s]->y);
assert 1354 lib/gfxpoly/poly.c assert(x1 < x2);
assert 1367 lib/gfxpoly/poly.c assert(p1.y == p2.y);
assert 1368 lib/gfxpoly/poly.c assert(p1.x != p2.x); // TODO: can this happen?
assert 1417 lib/gfxpoly/poly.c assert(!dict_contains(status->intersecting_segs, s));
assert 1418 lib/gfxpoly/poly.c assert(!dict_contains(status->segs_with_point, s));
assert 1435 lib/gfxpoly/poly.c assert(e->p.x == s->a.x && e->p.y == s->a.y);
assert 1449 lib/gfxpoly/poly.c assert(e->s2->left == e->s1);
assert 1452 lib/gfxpoly/poly.c assert(e->s2->left != e->s1);
assert 1461 lib/gfxpoly/poly.c assert(del1 && del2);
assert 1468 lib/gfxpoly/poly.c assert(dict_contains(status->seen_crossings, &pair));
assert 1488 lib/gfxpoly/poly.c assert(0);
assert 1505 lib/gfxpoly/poly.c assert(poly1->gridsize == poly2->gridsize);
assert 1522 lib/gfxpoly/poly.c assert(e->s1->fs);
assert 1525 lib/gfxpoly/poly.c assert(status.y>=lasty);
assert 1586 lib/gfxpoly/poly.c assert(stroke->fs);
assert 105 lib/gfxpoly/poly.h #ifdef assert
assert 183 lib/gfxpoly/renderpoly.c assert(line[width8-1]&0x01);
assert 197 lib/gfxpoly/renderpoly.c assert(!bitmap_ok(bbox, image));
assert 106 lib/gfxpoly/stroke.c else {assert(0);}
assert 168 lib/gfxpoly/stroke.c assert(start->type == gfx_moveTo);
assert 228 lib/gfxpoly/stroke.c assert(gfxpoly_check(poly, 1));
assert 18 lib/gfxpoly/wind.c assert(edge);
assert 45 lib/gfxpoly/wind.c assert(edge);
assert 79 lib/gfxpoly/wind.c assert(master < context->num_polygons);
assert 109 lib/gfxpoly/wind.c assert(master<sizeof(left.wind_nr)*8); //up to 32/64 polygons max
assert 66 lib/gfxpoly/xrow.c assert(max == t);
assert 269 lib/gfxtools.c assert(nextpos>=linepos);
assert 300 lib/gfxtools.c assert(nextpos>=linepos);
assert 1073 lib/gfxtools.c char d = dict_del2(ff,&pos,l);assert(d);
assert 1078 lib/gfxtools.c char d = dict_del2(rev,&pos,l);assert(d);
assert 1089 lib/gfxtools.c assert(l);
assert 1091 lib/gfxtools.c char d = dict_del2(ff,&xy,l);assert(d);
assert 1099 lib/gfxtools.c char d = dict_del2(rev,&pos,l);assert(d);
assert 1104 lib/gfxtools.c char d = dict_del2(ff,&pos,end);assert(d);
assert 1107 lib/gfxtools.c assert(l->type == gfx_moveTo);
assert 492 lib/gocr/pgm2asc.c default: assert(0);
assert 2658 lib/gocr/pgm2asc.c assert(job);
assert 2687 lib/gocr/pgm2asc.c assert(job->tmp.ppo.p);
assert 199 lib/gocr/pixel.c assert(gen_num_filt < NUM_TABLE_SIZE);
assert 247 lib/gocr/pixel.c assert(val < NUM_TABLE_SIZE);
assert 265 lib/gocr/pixel.c assert(i >= 0 && i <= 9);
assert 266 lib/gocr/pixel.c assert(n < TREE_ARRAY_SIZE);
assert 418 lib/gocr/pixel.c assert(n < TREE_ARRAY_SIZE);
assert 419 lib/gocr/pixel.c assert(tree[n] == 0 || tree[n] == 1 || tree[n] == 2);
assert 218 lib/graphcut.c assert(p!=old);
assert 237 lib/graphcut.c assert(mytree[NR(p)]&IN_TREE);
assert 239 lib/graphcut.c assert(dir->node == p);
assert 246 lib/graphcut.c assert(!t);
assert 252 lib/graphcut.c assert(othertree[NR(p)]&IN_TREE);
assert 266 lib/graphcut.c assert(t == len1+len2+1);
assert 287 lib/graphcut.c assert(( path->firsthalf[t] && path->dir[t]->used) ||
assert 386 lib/graphcut.c assert(path->length);
assert 394 lib/graphcut.c assert(min);
assert 500 lib/graphcut.c assert(newpos == newpos2);
assert 524 lib/graphcut.c assert(g->nodes[t].nr==t);
assert 527 lib/graphcut.c assert(!e->used || !e->fwd->used);
assert 538 lib/graphcut.c assert(g->nodes[t].nr==t);
assert 60 lib/h.263/swfvideo.c assert((stream->width&15) == 0);
assert 61 lib/h.263/swfvideo.c assert((stream->height&15) == 0);
assert 62 lib/h.263/swfvideo.c assert((stream->bbx*16) == stream->width);
assert 63 lib/h.263/swfvideo.c assert((stream->bby*16) == stream->height);
assert 387 lib/h.263/swfvideo.c assert(val>=0);
assert 405 lib/h.263/swfvideo.c assert(dc>0);
assert 406 lib/h.263/swfvideo.c assert(dc!=128);
assert 407 lib/h.263/swfvideo.c assert(dc<256);
assert 522 lib/h.263/swfvideo.c assert(level);
assert 564 lib/h.263/swfvideo.c assert(bb[last]);
assert 579 lib/h.263/swfvideo.c assert(level);
assert 605 lib/h.263/swfvideo.c assert(level);
assert 606 lib/h.263/swfvideo.c assert(level>=-127);
assert 607 lib/h.263/swfvideo.c assert(level<=127); //TODO: known to fail for pos=0 (with custom frames?)
assert 746 lib/h.263/swfvideo.c assert(0*strlen("invalid dquant"));
assert 800 lib/h.263/swfvideo.c assert(x4);
assert 814 lib/h.263/swfvideo.c assert(y4);
assert 819 lib/h.263/swfvideo.c assert((x4>=-32 && x4<=31) && (y4>=-32 && y4<=31));
assert 827 lib/h.263/swfvideo.c assert((x>=-32 && x<=31) && (y>=-32 && y<=31));
assert 844 lib/h.263/swfvideo.c assert(x>=0 && x<64);
assert 938 lib/h.263/swfvideo.c assert(data->bits == bits);
assert 1097 lib/h.263/swfvideo.c assert(data->bits == bits);
assert 1209 lib/h.263/swfvideo.c assert(quant>0);
assert 1210 lib/h.263/swfvideo.c assert(quant<32);
assert 1416 lib/h.263/swfvideo.c assert(!diff1);
assert 1421 lib/h.263/swfvideo.c assert(!diff1);
assert 1427 lib/h.263/swfvideo.c assert(diff1 == diff2);
assert 124 lib/modules/swfrender.c assert(p->shapeline);
assert 472 lib/modules/swfrender.c assert(shape->numfillstyles);
assert 501 lib/modules/swfrender.c assert(shape->numfillstyles);
assert 415 lib/pdf/BitmapOutputDev.cc assert(boolbtm->getWidth() == alphabtm->getWidth());
assert 416 lib/pdf/BitmapOutputDev.cc assert(boolbtm->getHeight() == alphabtm->getHeight());
assert 470 lib/pdf/BitmapOutputDev.cc assert(bitmap->getMode()==splashModeMono1);
assert 471 lib/pdf/BitmapOutputDev.cc assert(update->getMode()==splashModeMono1);
assert 474 lib/pdf/BitmapOutputDev.cc assert(width8 == bitmap->getRowSize());
assert 475 lib/pdf/BitmapOutputDev.cc assert(width8 == update->getRowSize());
assert 477 lib/pdf/BitmapOutputDev.cc assert(height == update->getHeight());
assert 536 lib/pdf/BitmapOutputDev.cc assert(width8 == btm->getRowSize());
assert 881 lib/pdf/BitmapOutputDev.cc assert(stalepolybitmap->getRowSize() == boolpolybitmap->getRowSize());
assert 885 lib/pdf/BitmapOutputDev.cc assert(staletextbitmap->getRowSize() == booltextbitmap->getRowSize());
assert 118 lib/pdf/bbox.c assert(!h->prev);
assert 131 lib/pdf/bbox.c assert(data[head]);
assert 133 lib/pdf/bbox.c assert(data[head]!=(void*)&data[head]); // check that we're not in an infinite loop
assert 168 lib/pdf/bbox.c assert(data[set1]);
assert 169 lib/pdf/bbox.c assert(data[set2]);
assert 296 lib/pdf/bbox.c assert(i==circle_order_size);
assert 825 lib/png.c assert(colors[i].color==col);
assert 839 lib/png.c assert(palettesize<=256);
assert 1167 lib/png.c assert(sizeof(COL)==sizeof(u32));
assert 1168 lib/png.c assert(width && height);
assert 1221 lib/png.c assert(i==palsize);
assert 1476 lib/png.c assert(bpp==8 || bpp==32);
assert 42 lib/python/tag.c assert(id>=0 && id<1024);
assert 64 lib/python/tag.c assert(id>=0 && id<1024);
assert 107 lib/python/tagmap.c assert(id==id2);
assert 92 lib/q.c assert(n+length <= m->len);
assert 316 lib/q.c assert(pos<h->max_size);
assert 671 lib/q.c assert(p == &s[len+1]);
assert 1073 lib/q.c assert(h->hashsize < newlen);
assert 1112 lib/q.c assert(h->key_type == &charptr_type);
assert 1216 lib/q.c assert(prev);
assert 1244 lib/q.c assert(prev);
assert 198 lib/readers/swf.c assert(c && c->type == TYPE_BITMAP);
assert 142 lib/xml.c assert(!s->current);
assert 153 lib/xml.c assert(!s->len);
assert 138 src/swfrender.c assert(swf.movieSize.xmax > swf.movieSize.xmin && swf.movieSize.ymax > swf.movieSize.ymin);