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

Analyse dynamique de programmes C
1111 env->lsp -= InSt[p].val.ival;
1112 if(EiC_traceON) {printf("reducear "); }
1113 break;
1114 case checkar:
1115 {
1116 size_t d;
1117 ptrdiff_t d2;
1118 d = env->LARsize - env->lsp;
1119 if (d < InSt[p].val.ival) {
1120 /* printf("expanding AR %d\n",env->LARsize);*/
1121 d2 = (AR[1] - env->LAR);
1122 env->LARsize += InSt[p].val.ival - d;
1123 env->LAR =
1124 (AR_t *) xrealloc(env->LAR,
1125 env->LARsize * sizeof(AR_t));
1126 AR[1] = &env->LAR[(size_t) d2];
1127 }
1128 if (InSt[p].ext == 0) {
1129 env->lsp += InSt[p].val.ival;
1130 /*AR[1][0].v.p.p = NULL;*/
1131 }
1132 }
1133 /*if(EiC_traceON) {printf("checkar \n"); }*/
1134 break;
1135 case halt: STK[ToP].type = InSt[p].val.p.p;
1136 ON = 0; EiC_STaCK_VaLuE = STK[ToP].v; /*if(EiC_traceON)
{printf("\nhalt\n");}*/
1137 break;
1138
1139 case empty: /*if(EiC_traceON) {printf("empty\n");} */
1140 break;
1141 }
1142 p++;
1143 }
1144
1145
1146 end = clock();
1147
1148 /*if(EiC_traceON)
1149 EiC_messageDisplay("Fin d'interpre.c\n");
1150 */
1151 if(EiC_interActive)
1152 EiC_showvalue(&STK[ToP]);
1153
1154 if (EiC_TIMER) {
1155 fprintf(stdout," : %g\n",(endstart)/(float)CLOCKS_PER_SEC);
1156 }
1157
1158 xfree(STK);
1159 }
118