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

Analyse dynamique de programmes C
863 if(EiC_traceON) {printf("ixa \n"); }
864 break;
865 case addptr2int: ToP--;
866 STK[ToP].v.p.p = (char *) STK[ToP].v.p.p + STK[ToP + 1].v.ival;
if(EiC_traceON) {printf("add2ptrint "); }
867 break;
868 case addint2ptr: ToP--;
869 STK[ToP].v.p.p = STK[ToP].v.ival
870 + (char *) STK[ToP+1].v.p.p; if(EiC_traceON)
{printf("addint2ptr\n"); }
871 break;
872 case subptrint: ToP--;
873 STK[ToP].v.p.p = (char *) STK[ToP].v.p.p - STK[ToP + 1].v.ival;
if(EiC_traceON) {printf("subptrint\n"); }
874 break;
875 case subptr:
876 ToP--;
877 STK[ToP].v.ival =
878 (int) ((long) STK[ToP].v.p.p - (long) STK[ToP+1].v.p.p);
879 if(EiC_traceON) {printf("subptr\n"); }
880 break;
881
882 case drefptr:
883 drefTYPE(ptr_t, p); if(EiC_traceON) {printf("drefptr\n "); }
884 break;
885
886 case drefuptr:
887 drefTYPE(void**,p.p);
888 STK[ToP].v.p.sp = 0;
889 STK[ToP].v.p.ep = (void *) ULONG_MAX; if(EiC_traceON)
{printf("drefuptr \n");}
890 break;
891
892 case refptr: refTYPE(ptr_t, p); if(EiC_traceON) {printf("refptr
\n"); }
893 break;
894 case refuptr: refTYPE(void *, p.p); if(EiC_traceON)
{printf("refuptr\n ");}
895 break;
896
897 case stoptr: stoTYPE(p);/* if(EiC_traceON) {printf("stoptr
\n");}*/
898 break;
899 case stouptr: stoTYPE(p.p); if(EiC_traceON) {printf("stouptr \n");}
900 break;
901
902 case rvalptr: rvalTYPE(p); if(EiC_traceON) {printf("rvalptr \n");}
903 break;
904 case rvaluptr: rvalTYPE(p);
905 STK[ToP].v.p.sp = 0;
906 STK[ToP].v.p.ep = (void*) ULONG_MAX; /* set to a very high
value */
907 _if(EiC_traceON) {printf("rvaluptr ");}
908 break;
909
910 case pushptr: pushTYPE(p); /*if(EiC_traceON) {printf("pushptr
\n");}*/
911 break;
912 case ltptr: ltTYPE(p.p); if(EiC_traceON) {printf("ltptr\n");}
913 break;
914 case leptr: leTYPE(p.p); if(EiC_traceON) {printf("leptr \n");}
915 break;
916 case eqptr: eqTYPE(p.p); if(EiC_traceON) {printf("eqptr \n");}
917 break;
918 case neptr: neTYPE(p.p); if(EiC_traceON) {printf("neptr \n");}
919 break;
920 case gtptr: gtTYPE(p.p); if(EiC_traceON) {printf("gtptr \n");}
921 break;
114