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

Analyse dynamique de programmes C
922 case geptr: geTYPE(p.p); if(EiC_traceON) {printf("geptr \n");}
923 break;
924 case lorptr: lorTYPE(p.p); if(EiC_traceON) {printf("lorptr \n");}
925 break;
926 case landptr: landTYPE(p.p); if(EiC_traceON) {printf("landptr
\n");}
927 break;
928 case notptr: notTYPE(p.p); if(EiC_traceON) {printf("notptr \n");}
929 break;
930 case ptr2int: castTYPES(p.p, ival, int); if(EiC_traceON)
{printf("ptr2int \n");}
931 break;
932 case ptr2long: castTYPES(p.p, lval, long); if(EiC_traceON)
{printf("ptr2long \n");}
933 break;
934
935 case lval: /* on the fly safe pointer */
936 STK[ToP].v.p.p = &AR[InSt[p].ext][InSt[p].val.ival].v;
937 STK[ToP].v.p.ep = (char *) STK[ToP].v.p.p + (size_t)
938 InSt[p].val.p.ep;
939 STK[ToP].v.p.sp = STK[ToP].v.p.p;
940 _/*if(EiC_traceON) {printf("lval \n");}*/
941 break;
942 case assigntype: assignTYPE; /*if(EiC_traceON) {printf("assigntype
");}*/
943 break;
944 case stoval:
945 /*if(EiC_traceON) {printf("stoval "); }*/
946 switch(InSt[p].ext) {
947 case t_char:
948 case t_uchar: STK[ToP].v.cval = STK[ToP].v.ival;
if(EiC_traceON) {printf("t_char ou t_uchar\n");}
949 break;
950 case t_short:
951 case t_ushort: STK[ToP].v.sval = STK[ToP].v.ival;
if(EiC_traceON) {printf("t_short ou t_ushort\n");}
952 break;
953 case t_float: STK[ToP].v.fval = STK[ToP].v.dval;
if(EiC_traceON) {printf("t_float\n");}
954 /*_ case t_struct:
955 case t_union:
956 printf("stoVa1l with struct/union\n");
957 */
958 }
959
960 stoVAL;
961 break;
962 case pushval: pushVAL; if(EiC_traceON) {printf("pushval\n"); }
963 break;
964
965 case eiccall:
966 if(EiC_traceON) {printf("eiccall\n");}
967 if(!((symentry_t*)STK[ToP - 1].v.p.p)->tag) {
968 AdjustTop(6);
969 STK[ToP + 1].v.ival = p;
970 STK[ToP + 1].type = (void*)EiC_CurrentFile; /* save file */
971 STK[ToP + 2].v.p.p = InSt;
972 STK[ToP + 3].v.lval = AR[1] - env->LAR;
973 STK[ToP + 4].v.ival = env->lsp - STK[ToP].v.ival;
974 AR[1] = &env->LAR[env->lsp] /* - STK[ToP].v.ival] */ ;
975 code = ! STK[ToP - 1].v.p.p ? NULL :
976 AR[0][((symentry_t *)
977 STK[ToP - 1].v.p.p)->val.ival].v.p.p;
978
979 if (code == NULL) {
980 if(STK[ToP - 1].v.p.p) {
981 EiC_formatMessage("Link error: undefined function :->
%s\n",
115