Rim Chaabane. Analyse dynamique de ... - Université Paris 8

Analyse dynamique de programmes C
442 break;
443 case divint: divTYPE(ival); /*if(EiC_traceON) {printf("divint
\n");} */
444 break;
445 case multint: multTYPE(ival); /*if(EiC_traceON) {printf("multint
\n");} */
446 break;
447 case modint: modTYPE(ival); /*if(EiC_traceON) {printf("modint
\n");} */
448 break;
449 case lshtint: lshtTYPE(ival); /*if(EiC_traceON) {printf("lshtint
\n");} */
450 break;
451 case rshtint: rshtTYPE(ival); /*if(EiC_traceON) {printf("rshtint
\n");} */
452 break;
453 case ltint: ltTYPE(ival);
454 if(EiC_traceON) {
455 printf("%d %d\n",InSt[p].line,T[InSt[p].line].cptr_a);
456 /*
457 if (STK[ToP].v.ival==1 && cpt_psgBoucle==0) cpt_psgBoucle++;
458 if (STK[ToP].v.ival==1 && cpt_psgBoucle!=0) cpt_psgBoucle++;
459 if (STK[ToP].v.ival==0) { cpt_psgBoucle=0; Jmpu--; }
460 */
461 }
462 break;
463 case leint: leTYPE(ival); /*if(EiC_traceON) {printf("\t
\"\"\n"); }*/
470 break;
471 case geint: geTYPE(ival); /*if(EiC_traceON) {printf("\t
\">=\"\n"); }*/
472 break;
473 case lorint: lorTYPE(ival);/* if(EiC_traceON) {printf("\t
\"||\"\n");} */
474 break;
475 case landint: landTYPE(ival);/* if(EiC_traceON) {printf("\t
\"!=0\"\n"); }*/
476 break;
477 case notint: notTYPE(ival); /*if(EiC_traceON) {printf("notint
\n"); }*/
478 break;
479 case borint: borTYPE(ival); /*if(EiC_traceON) {printf("borint
\n"); }*/
480 break;
481 case xorint: xorTYPE(ival); /*if(EiC_traceON) {printf("xorint
\n"); }*/
482 break;
483 case andint: andTYPE(ival); /*if(EiC_traceON) {printf("andint
\n"); }*/
484 break;
485 case compint: compTYPE(ival); /*if(EiC_traceON) {printf("compint
\n");} */
486 break;
487 case int2double: castTYPES(ival, dval, double); /*if(EiC_traceON)
{ printf("int2double ");}*/
488 break;
489 case int2ptr: castTYPES(ival, p.p, void *); /*if(EiC_traceON)
{printf("int2ptr ");}*/
490 break;
107