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

Analyse dynamique de programmes C
1044
1045
1046 #if 1
1047 case eiclongjmp:
1048 {
1049
1050 _EiC_jmp_buf * reg;
1051
1052 reg = (_EiC_jmp_buf *) ((char*)STK[ToP].v.p.p -
STK[ToP+1].v.ival);
1053
1054 p = reg->p;
1055 EiC_CurrentFile = reg->file;
1056 InSt = reg->inst;
1057 env->lsp = reg->lsp;
1058 AR[1] = &env->LAR[reg->offset]; /*reg->ar; */
1059
1060 if(STK[ToP+1].v.ival == 0)
1061 STK[reg->top].v.ival = 1;
1062 else
1063 STK[reg->top].v.ival = STK[ToP+1].v.ival;
1064
1065 ToP = reg->top;
1066 if(EiC_traceON) {printf(" eiclongjmp \n");}
1067 }
1068
1069 break;
1070
1071 case eicsetjmp:
1072 {
1073
1074 _EiC_jmp_buf * reg;
1075
1076 reg = (_EiC_jmp_buf *) STK[ToP].v.p.p;
1077
1078 reg->p = p;
1079 reg->file = (void*)EiC_CurrentFile; /* save file */
1080 reg->inst = InSt;
1081 reg->lsp = env->lsp;
1082 reg->offset = AR[1] - env->LAR;
1083 reg->ar = AR[1];
1084 reg->top = ToP;
1085
1086 STK[ToP].v.ival = 0;
1087 _if(EiC_traceON) {printf(" eicsetjmp \n");}
1088 }
1089
1090 break;
1091 #endif
1092
1093 case massign:
1094 {
1095 val_t *v = &AR[InSt[p].ext][InSt[p].val.ival].v;
1096 v->p.sp = (void*)xcalloc(STK[ToP].v.ival,1);
1097 v->p.ep = (char*)v->p.sp + STK[ToP].v.ival;
1098 vp = NULL;
1099 if(EiC_traceON) {printf("massign "); }
1100 }
1101 break;
1102 case fmem: FMEM; if(EiC_traceON) {printf("fmem ");}
1103 break;
1104 case refmem: refMEM; if(EiC_traceON) {printf("refmem "); }
1105 break;
1106 case minit:
1107 memcpy(STK[ToP].v.p.p,InSt[p].val.p.p, InSt[p].ext);
1108 if(EiC_traceON) {printf("minit "); }
1109 break;
1110 case reducear:
117