[CAnnotate] Seg fault introduced to program with MCC and COR labels
Happened in lua lgc.c:372 lcode.c:2089 and various places
lgc.c crashes at MCC Label 21.
((void)g->mainthread , ((void)0));
// MCC Label 19
if(( ( ((uv->v)->tt_) & (1 << 6) ) && ( (((((uv->v)->value_).gc))->marked) & (((1 << (3)) | (1 << (4)))) ) ) ) { __asm__ volatile (""::: "memory"); }
// MCC Label 20
if(( ( ((uv->v)->tt_) & (1 << 6) ) && ( !((((((uv->v)->value_).gc))->marked) & (((1 << (3)) | (1 << (4))))) ) ) ) { __asm__ volatile (""::: "memory"); }
// MCC Label 21
if(( ( !(((uv->v)->tt_) & (1 << 6)) ) && ( (((((uv->v)->value_).gc))->marked) & (((1 << (3)) | (1 << (4)))) ) ) ) { __asm__ volatile (""::: "memory"); }
// MCC Label 22
if(( ( !(((uv->v)->tt_) & (1 << 6)) ) && ( !((((((uv->v)->value_).gc))->marked) & (((1 << (3)) | (1 << (4))))) ) ) ) { __asm__ volatile (""::: "memory"); }
if (((((uv->v)->tt_) & (1 << 6)) && ((((((uv->v)->value_).gc))->marked) & (((1 << (3)) | (1 << (4)))))))
reallymarkobject(g, (((uv->v)->value_).gc));
lcode.c crashes at MCC Label 288
static int isKstr (FuncState *fs, expdesc *e) {
// MCC Label 280
if(( e->k == VK && !((e)->t != (e)->f) && e->u.info <= ((1 << 8) - 1) && ( (((&fs->f->k[e->u.info]))->tt_) == (((((4) | ((0) << 4))) | (1 << 6))) ) ) ) { __asm__ volatile (""::: "memory"); }
// MCC Label 281
if(( e->k == VK && !((e)->t != (e)->f) && e->u.info <= ((1 << 8) - 1) && ( !((((&fs->f->k[e->u.info]))->tt_) == (((((4) | ((0) << 4))) | (1 << 6)))) ) ) ) { __asm__ volatile (""::: "memory"); }
// MCC Label 282
if(( e->k == VK && !((e)->t != (e)->f) && !(e->u.info <= ((1 << 8) - 1)) && ( (((&fs->f->k[e->u.info]))->tt_) == (((((4) | ((0) << 4))) | (1 << 6))) ) ) ) { __asm__ volatile (""::: "memory"); }
// MCC Label 283
if(( e->k == VK && !((e)->t != (e)->f) && !(e->u.info <= ((1 << 8) - 1)) && ( !((((&fs->f->k[e->u.info]))->tt_) == (((((4) | ((0) << 4))) | (1 << 6)))) ) ) ) { __asm__ volatile (""::: "memory"); }
// MCC Label 284
if(( e->k == VK && !(!((e)->t != (e)->f)) && e->u.info <= ((1 << 8) - 1) && ( (((&fs->f->k[e->u.info]))->tt_) == (((((4) | ((0) << 4))) | (1 << 6))) ) ) ) { __asm__ volatile (""::: "memory"); }
// MCC Label 285
if(( e->k == VK && !(!((e)->t != (e)->f)) && e->u.info <= ((1 << 8) - 1) && ( !((((&fs->f->k[e->u.info]))->tt_) == (((((4) | ((0) << 4))) | (1 << 6)))) ) ) ) { __asm__ volatile (""::: "memory"); }
// MCC Label 286
if(( e->k == VK && !(!((e)->t != (e)->f)) && !(e->u.info <= ((1 << 8) - 1)) && ( (((&fs->f->k[e->u.info]))->tt_) == (((((4) | ((0) << 4))) | (1 << 6))) ) ) ) { __asm__ volatile (""::: "memory"); }
// MCC Label 287
if(( e->k == VK && !(!((e)->t != (e)->f)) && !(e->u.info <= ((1 << 8) - 1)) && ( !((((&fs->f->k[e->u.info]))->tt_) == (((((4) | ((0) << 4))) | (1 << 6)))) ) ) ) { __asm__ volatile (""::: "memory"); }
// MCC Label 288
if(( !(e->k == VK) && !((e)->t != (e)->f) && e->u.info <= ((1 << 8) - 1) && ( (((&fs->f->k[e->u.info]))->tt_) == (((((4) | ((0) << 4))) | (1 << 6))) ) ) ) { __asm__ volatile (""::: "memory"); }
// MCC Label 289
if(( !(e->k == VK) && !((e)->t != (e)->f) && e->u.info <= ((1 << 8) - 1) && ( !((((&fs->f->k[e->u.info]))->tt_) == (((((4) | ((0) << 4))) | (1 << 6)))) ) ) ) { __asm__ volatile (""::: "memory"); }
// MCC Label 290
if(( !(e->k == VK) && !((e)->t != (e)->f) && !(e->u.info <= ((1 << 8) - 1)) && ( (((&fs->f->k[e->u.info]))->tt_) == (((((4) | ((0) << 4))) | (1 << 6))) ) ) ) { __asm__ volatile (""::: "memory"); }
// MCC Label 291
if(( !(e->k == VK) && !((e)->t != (e)->f) && !(e->u.info <= ((1 << 8) - 1)) && ( !((((&fs->f->k[e->u.info]))->tt_) == (((((4) | ((0) << 4))) | (1 << 6)))) ) ) ) { __asm__ volatile (""::: "memory"); }
// MCC Label 292
if(( !(e->k == VK) && !(!((e)->t != (e)->f)) && e->u.info <= ((1 << 8) - 1) && ( (((&fs->f->k[e->u.info]))->tt_) == (((((4) | ((0) << 4))) | (1 << 6))) ) ) ) { __asm__ volatile (""::: "memory"); }
// MCC Label 293
if(( !(e->k == VK) && !(!((e)->t != (e)->f)) && e->u.info <= ((1 << 8) - 1) && ( !((((&fs->f->k[e->u.info]))->tt_) == (((((4) | ((0) << 4))) | (1 << 6)))) ) ) ) { __asm__ volatile (""::: "memory"); }
// MCC Label 294
if(( !(e->k == VK) && !(!((e)->t != (e)->f)) && !(e->u.info <= ((1 << 8) - 1)) && ( (((&fs->f->k[e->u.info]))->tt_) == (((((4) | ((0) << 4))) | (1 << 6))) ) ) ) { __asm__ volatile (""::: "memory"); }
// MCC Label 295
if(( !(e->k == VK) && !(!((e)->t != (e)->f)) && !(e->u.info <= ((1 << 8) - 1)) && ( !((((&fs->f->k[e->u.info]))->tt_) == (((((4) | ((0) << 4))) | (1 << 6)))) ) ) ) { __asm__ volatile (""::: "memory"); }
return (e->k == VK && !hasjumps(e) && e->u.info <= MAXARG_B &&
ttisshrstring(&fs->f->k[e->u.info]));
}