c_src/reachable_from_init_method_analysis._sep.c

   1 /* This C file is generated by NIT to compile module reachable_from_init_method_analysis. */
   2 #include "reachable_from_init_method_analysis._sep.h"
   3 val_t reachable_from_init_method_analysis___Program___rfima(val_t p0){
   4   struct {struct stack_frame_t me;} fra;
   5   val_t tmp;
   6   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
   7   fra.me.file = LOCATE_reachable_from_init_method_analysis;
   8   fra.me.line = 25;
   9   fra.me.meth = LOCATE_reachable_from_init_method_analysis___Program___rfima;
  10   fra.me.has_broke = 0;
  11   fra.me.REG_size = 1;
  12   fra.me.REG[0] = NIT_NULL;
  13   fra.me.REG[0] = p0;
  14   /* ./analysis//reachable_from_init_method_analysis.nit:25 */
  15   fra.me.REG[0] = ATTR_reachable_from_init_method_analysis___Program____rfima(fra.me.REG[0]);
  16   stack_frame_head = fra.me.prev;
  17   return fra.me.REG[0];
  18 }
  19 void reachable_from_init_method_analysis___Program___rfima__eq(val_t p0, val_t p1){
  20   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
  21   val_t tmp;
  22   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  23   fra.me.file = LOCATE_reachable_from_init_method_analysis;
  24   fra.me.line = 25;
  25   fra.me.meth = LOCATE_reachable_from_init_method_analysis___Program___rfima__eq;
  26   fra.me.has_broke = 0;
  27   fra.me.REG_size = 2;
  28   fra.me.REG[0] = NIT_NULL;
  29   fra.me.REG[1] = NIT_NULL;
  30   fra.me.REG[0] = p0;
  31   fra.me.REG[1] = p1;
  32   /* ./analysis//reachable_from_init_method_analysis.nit:25 */
  33   ATTR_reachable_from_init_method_analysis___Program____rfima(fra.me.REG[0]) = fra.me.REG[1];
  34   stack_frame_head = fra.me.prev;
  35   return;
  36 }
  37 void reachable_from_init_method_analysis___Program___dump_reachable_methods_from_init(val_t p0, val_t p1){
  38   struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
  39   val_t REGB0;
  40   val_t tmp;
  41   static val_t once_value_1; /* Once value */
  42   static val_t once_value_2; /* Once value */
  43   static val_t once_value_3; /* Once value */
  44   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  45   fra.me.file = LOCATE_reachable_from_init_method_analysis;
  46   fra.me.line = 28;
  47   fra.me.meth = LOCATE_reachable_from_init_method_analysis___Program___dump_reachable_methods_from_init;
  48   fra.me.has_broke = 0;
  49   fra.me.REG_size = 4;
  50   fra.me.REG[0] = NIT_NULL;
  51   fra.me.REG[1] = NIT_NULL;
  52   fra.me.REG[2] = NIT_NULL;
  53   fra.me.REG[3] = NIT_NULL;
  54   fra.me.REG[0] = p0;
  55   fra.me.REG[1] = p1;
  56   /* ./analysis//reachable_from_init_method_analysis.nit:31 */
  57   REGB0 = TAG_Int(5);
  58   fra.me.REG[2] = NEW_Array_array___Array___with_capacity(REGB0);
  59   if (!once_value_1) {
  60     fra.me.REG[3] = BOX_NativeString("");
  61     REGB0 = TAG_Int(0);
  62     fra.me.REG[3] = NEW_String_string___String___with_native(fra.me.REG[3], REGB0);
  63     once_value_1 = fra.me.REG[3];
  64     register_static_object(&once_value_1);
  65   } else fra.me.REG[3] = once_value_1;
  66   fra.me.REG[3] = fra.me.REG[3];
  67   CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
  68   CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
  69   if (!once_value_2) {
  70     fra.me.REG[1] = BOX_NativeString("/");
  71     REGB0 = TAG_Int(1);
  72     fra.me.REG[1] = NEW_String_string___String___with_native(fra.me.REG[1], REGB0);
  73     once_value_2 = fra.me.REG[1];
  74     register_static_object(&once_value_2);
  75   } else fra.me.REG[1] = once_value_2;
  76   fra.me.REG[1] = fra.me.REG[1];
  77   CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
  78   fra.me.REG[1] = CALL_program___Program___main_module(fra.me.REG[0])(fra.me.REG[0]);
  79   fra.me.REG[1] = CALL_abstractmetamodel___MMModule___name(fra.me.REG[1])(fra.me.REG[1]);
  80   fra.me.REG[1] = CALL_string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
  81   CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
  82   if (!once_value_3) {
  83     fra.me.REG[1] = BOX_NativeString(".reachable_methods_from_init.log");
  84     REGB0 = TAG_Int(32);
  85     fra.me.REG[1] = NEW_String_string___String___with_native(fra.me.REG[1], REGB0);
  86     once_value_3 = fra.me.REG[1];
  87     register_static_object(&once_value_3);
  88   } else fra.me.REG[1] = once_value_3;
  89   fra.me.REG[1] = fra.me.REG[1];
  90   CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
  91   fra.me.REG[2] = CALL_string___Object___to_s(fra.me.REG[2])(fra.me.REG[2]);
  92   fra.me.REG[2] = NEW_OFStream_file___OFStream___open(fra.me.REG[2]);
  93   CALL_program___Program___with_each_methods(fra.me.REG[0])(fra.me.REG[0], (&(fra.me)), ((fun_t)OC_reachable_from_init_method_analysis___Program___dump_reachable_methods_from_init_4));
  94   /* ./analysis//reachable_from_init_method_analysis.nit:37 */
  95   CALL_stream___IOS___close(fra.me.REG[2])(fra.me.REG[2]);
  96   stack_frame_head = fra.me.prev;
  97   return;
  98 }
  99   void OC_reachable_from_init_method_analysis___Program___dump_reachable_methods_from_init_4(struct stack_frame_t *closctx, val_t p0){
 100     struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
 101     val_t REGB0;
 102     val_t tmp;
 103       static val_t once_value_5; /* Once value */
 104       static val_t once_value_6; /* Once value */
 105     /* ./analysis//reachable_from_init_method_analysis.nit:32 */
 106     fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 107     fra.me.file = LOCATE_reachable_from_init_method_analysis;
 108     fra.me.line = 32;
 109     fra.me.meth = LOCATE_reachable_from_init_method_analysis___Program___dump_reachable_methods_from_init;
 110     fra.me.has_broke = 0;
 111     fra.me.REG_size = 3;
 112     fra.me.REG[0] = NIT_NULL;
 113     fra.me.REG[1] = NIT_NULL;
 114     fra.me.REG[2] = NIT_NULL;
 115     fra.me.REG[0] = p0;
 116     /* ./analysis//reachable_from_init_method_analysis.nit:33 */
 117     fra.me.REG[1] = CALL_reachable_from_init_method_analysis___Program___rfima(closctx->REG[0])(closctx->REG[0]);
 118     REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
 119     if (UNTAG_Bool(REGB0)) {
 120       nit_abort("Reciever is null", NULL, LOCATE_reachable_from_init_method_analysis, 33);
 121     }
 122     REGB0 = CALL_reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_method_reachable_from_init(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 123     if (UNTAG_Bool(REGB0)) {
 124       /* ./analysis//reachable_from_init_method_analysis.nit:34 */
 125       REGB0 = TAG_Int(3);
 126       fra.me.REG[1] = NEW_Array_array___Array___with_capacity(REGB0);
 127       if (!once_value_5) {
 128         fra.me.REG[2] = BOX_NativeString("");
 129         REGB0 = TAG_Int(0);
 130         fra.me.REG[2] = NEW_String_string___String___with_native(fra.me.REG[2], REGB0);
 131         once_value_5 = fra.me.REG[2];
 132         register_static_object(&once_value_5);
 133       } else fra.me.REG[2] = once_value_5;
 134       fra.me.REG[2] = fra.me.REG[2];
 135       CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
 136       fra.me.REG[0] = CALL_abstractmetamodel___MMLocalProperty___full_name(fra.me.REG[0])(fra.me.REG[0]);
 137       CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 138       if (!once_value_6) {
 139         fra.me.REG[0] = BOX_NativeString("\n");
 140         REGB0 = TAG_Int(1);
 141         fra.me.REG[0] = NEW_String_string___String___with_native(fra.me.REG[0], REGB0);
 142         once_value_6 = fra.me.REG[0];
 143         register_static_object(&once_value_6);
 144       } else fra.me.REG[0] = once_value_6;
 145       fra.me.REG[0] = fra.me.REG[0];
 146       CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 147       fra.me.REG[1] = CALL_string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
 148       CALL_stream___OStream___write(closctx->REG[2])(closctx->REG[2], fra.me.REG[1]);
 149     }
 150     stack_frame_head = fra.me.prev;
 151     return;
 152   }
 153 void reachable_from_init_method_analysis___Program___dump_unreachable_methods_from_init(val_t p0, val_t p1){
 154   struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
 155   val_t REGB0;
 156   val_t tmp;
 157   static val_t once_value_1; /* Once value */
 158   static val_t once_value_2; /* Once value */
 159   static val_t once_value_3; /* Once value */
 160   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 161   fra.me.file = LOCATE_reachable_from_init_method_analysis;
 162   fra.me.line = 40;
 163   fra.me.meth = LOCATE_reachable_from_init_method_analysis___Program___dump_unreachable_methods_from_init;
 164   fra.me.has_broke = 0;
 165   fra.me.REG_size = 4;
 166   fra.me.REG[0] = NIT_NULL;
 167   fra.me.REG[1] = NIT_NULL;
 168   fra.me.REG[2] = NIT_NULL;
 169   fra.me.REG[3] = NIT_NULL;
 170   fra.me.REG[0] = p0;
 171   fra.me.REG[1] = p1;
 172   /* ./analysis//reachable_from_init_method_analysis.nit:43 */
 173   REGB0 = TAG_Int(5);
 174   fra.me.REG[2] = NEW_Array_array___Array___with_capacity(REGB0);
 175   if (!once_value_1) {
 176     fra.me.REG[3] = BOX_NativeString("");
 177     REGB0 = TAG_Int(0);
 178     fra.me.REG[3] = NEW_String_string___String___with_native(fra.me.REG[3], REGB0);
 179     once_value_1 = fra.me.REG[3];
 180     register_static_object(&once_value_1);
 181   } else fra.me.REG[3] = once_value_1;
 182   fra.me.REG[3] = fra.me.REG[3];
 183   CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
 184   CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
 185   if (!once_value_2) {
 186     fra.me.REG[1] = BOX_NativeString("/");
 187     REGB0 = TAG_Int(1);
 188     fra.me.REG[1] = NEW_String_string___String___with_native(fra.me.REG[1], REGB0);
 189     once_value_2 = fra.me.REG[1];
 190     register_static_object(&once_value_2);
 191   } else fra.me.REG[1] = once_value_2;
 192   fra.me.REG[1] = fra.me.REG[1];
 193   CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
 194   fra.me.REG[1] = CALL_program___Program___main_module(fra.me.REG[0])(fra.me.REG[0]);
 195   fra.me.REG[1] = CALL_abstractmetamodel___MMModule___name(fra.me.REG[1])(fra.me.REG[1]);
 196   fra.me.REG[1] = CALL_string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
 197   CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
 198   if (!once_value_3) {
 199     fra.me.REG[1] = BOX_NativeString(".unreachable_methods_from_init.log");
 200     REGB0 = TAG_Int(34);
 201     fra.me.REG[1] = NEW_String_string___String___with_native(fra.me.REG[1], REGB0);
 202     once_value_3 = fra.me.REG[1];
 203     register_static_object(&once_value_3);
 204   } else fra.me.REG[1] = once_value_3;
 205   fra.me.REG[1] = fra.me.REG[1];
 206   CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
 207   fra.me.REG[2] = CALL_string___Object___to_s(fra.me.REG[2])(fra.me.REG[2]);
 208   fra.me.REG[2] = NEW_OFStream_file___OFStream___open(fra.me.REG[2]);
 209   CALL_program___Program___with_each_methods(fra.me.REG[0])(fra.me.REG[0], (&(fra.me)), ((fun_t)OC_reachable_from_init_method_analysis___Program___dump_unreachable_methods_from_init_4));
 210   /* ./analysis//reachable_from_init_method_analysis.nit:49 */
 211   CALL_stream___IOS___close(fra.me.REG[2])(fra.me.REG[2]);
 212   stack_frame_head = fra.me.prev;
 213   return;
 214 }
 215   void OC_reachable_from_init_method_analysis___Program___dump_unreachable_methods_from_init_4(struct stack_frame_t *closctx, val_t p0){
 216     struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
 217     val_t REGB0;
 218     val_t REGB1;
 219     val_t tmp;
 220       static val_t once_value_5; /* Once value */
 221       static val_t once_value_6; /* Once value */
 222     /* ./analysis//reachable_from_init_method_analysis.nit:44 */
 223     fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 224     fra.me.file = LOCATE_reachable_from_init_method_analysis;
 225     fra.me.line = 44;
 226     fra.me.meth = LOCATE_reachable_from_init_method_analysis___Program___dump_unreachable_methods_from_init;
 227     fra.me.has_broke = 0;
 228     fra.me.REG_size = 3;
 229     fra.me.REG[0] = NIT_NULL;
 230     fra.me.REG[1] = NIT_NULL;
 231     fra.me.REG[2] = NIT_NULL;
 232     fra.me.REG[0] = p0;
 233     /* ./analysis//reachable_from_init_method_analysis.nit:45 */
 234     fra.me.REG[1] = CALL_reachable_from_init_method_analysis___Program___rfima(closctx->REG[0])(closctx->REG[0]);
 235     REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
 236     if (UNTAG_Bool(REGB0)) {
 237       nit_abort("Reciever is null", NULL, LOCATE_reachable_from_init_method_analysis, 45);
 238     }
 239     REGB0 = CALL_reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_method_reachable_from_init(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 240     REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
 241     if (UNTAG_Bool(REGB0)) {
 242       fra.me.REG[1] = CALL_reachable_method_analysis___Program___rma(closctx->REG[0])(closctx->REG[0]);
 243       REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
 244       if (UNTAG_Bool(REGB0)) {
 245         nit_abort("Reciever is null", NULL, LOCATE_reachable_from_init_method_analysis, 45);
 246       }
 247       REGB0 = CALL_reachable_method_analysis___ReachableMethodAnalysis___is_method_reachable(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 248     } else {
 249       REGB1 = TAG_Bool(false);
 250       REGB0 = REGB1;
 251     }
 252     if (UNTAG_Bool(REGB0)) {
 253       /* ./analysis//reachable_from_init_method_analysis.nit:46 */
 254       REGB0 = TAG_Int(3);
 255       fra.me.REG[1] = NEW_Array_array___Array___with_capacity(REGB0);
 256       if (!once_value_5) {
 257         fra.me.REG[2] = BOX_NativeString("");
 258         REGB0 = TAG_Int(0);
 259         fra.me.REG[2] = NEW_String_string___String___with_native(fra.me.REG[2], REGB0);
 260         once_value_5 = fra.me.REG[2];
 261         register_static_object(&once_value_5);
 262       } else fra.me.REG[2] = once_value_5;
 263       fra.me.REG[2] = fra.me.REG[2];
 264       CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
 265       fra.me.REG[0] = CALL_abstractmetamodel___MMLocalProperty___full_name(fra.me.REG[0])(fra.me.REG[0]);
 266       CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 267       if (!once_value_6) {
 268         fra.me.REG[0] = BOX_NativeString("\n");
 269         REGB0 = TAG_Int(1);
 270         fra.me.REG[0] = NEW_String_string___String___with_native(fra.me.REG[0], REGB0);
 271         once_value_6 = fra.me.REG[0];
 272         register_static_object(&once_value_6);
 273       } else fra.me.REG[0] = once_value_6;
 274       fra.me.REG[0] = fra.me.REG[0];
 275       CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 276       fra.me.REG[1] = CALL_string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
 277       CALL_stream___OStream___write(closctx->REG[2])(closctx->REG[2], fra.me.REG[1]);
 278     }
 279     stack_frame_head = fra.me.prev;
 280     return;
 281   }
 282 val_t reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_iroutine_reachable_from_init(val_t p0, val_t p1){
 283   struct {struct stack_frame_t me;} fra;
 284   val_t tmp;
 285   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 286   fra.me.file = LOCATE_reachable_from_init_method_analysis;
 287   fra.me.line = 57;
 288   fra.me.meth = LOCATE_reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_iroutine_reachable_from_init;
 289   fra.me.has_broke = 0;
 290   fra.me.REG_size = 0;
 291   /* ./analysis//reachable_from_init_method_analysis.nit:57 */
 292   nit_abort("Deferred method called", NULL, LOCATE_reachable_from_init_method_analysis, 57);
 293   stack_frame_head = fra.me.prev;
 294   return NIT_NULL;
 295 }
 296 val_t reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_method_reachable_from_init(val_t p0, val_t p1){
 297   struct {struct stack_frame_t me;} fra;
 298   val_t tmp;
 299   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 300   fra.me.file = LOCATE_reachable_from_init_method_analysis;
 301   fra.me.line = 58;
 302   fra.me.meth = LOCATE_reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___is_method_reachable_from_init;
 303   fra.me.has_broke = 0;
 304   fra.me.REG_size = 0;
 305   /* ./analysis//reachable_from_init_method_analysis.nit:58 */
 306   nit_abort("Deferred method called", NULL, LOCATE_reachable_from_init_method_analysis, 58);
 307   stack_frame_head = fra.me.prev;
 308   return NIT_NULL;
 309 }
 310 void reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___init(val_t p0, int* init_table){
 311   int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_ReachableFromInitMethodAnalysis].i;
 312   struct {struct stack_frame_t me;} fra;
 313   val_t tmp;
 314   if (init_table[itpos0]) return;
 315   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 316   fra.me.file = LOCATE_reachable_from_init_method_analysis;
 317   fra.me.line = 0;
 318   fra.me.meth = LOCATE_reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___init;
 319   fra.me.has_broke = 0;
 320   fra.me.REG_size = 0;
 321   stack_frame_head = fra.me.prev;
 322   init_table[itpos0] = 1;
 323   return;
 324 }
 325 val_t reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis___is_iroutine_reachable_from_init(val_t p0, val_t p1){
 326   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 327   val_t REGB0;
 328   val_t tmp;
 329   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 330   fra.me.file = LOCATE_reachable_from_init_method_analysis;
 331   fra.me.line = 65;
 332   fra.me.meth = LOCATE_reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis___is_iroutine_reachable_from_init;
 333   fra.me.has_broke = 0;
 334   fra.me.REG_size = 2;
 335   fra.me.REG[0] = NIT_NULL;
 336   fra.me.REG[1] = NIT_NULL;
 337   fra.me.REG[0] = p0;
 338   fra.me.REG[1] = p1;
 339   /* ./analysis//reachable_from_init_method_analysis.nit:65 */
 340   REGB0 = TAG_Bool(true);
 341   goto label1;
 342   label1: while(0);
 343   stack_frame_head = fra.me.prev;
 344   return REGB0;
 345 }
 346 val_t reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis___is_method_reachable_from_init(val_t p0, val_t p1){
 347   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 348   val_t REGB0;
 349   val_t tmp;
 350   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 351   fra.me.file = LOCATE_reachable_from_init_method_analysis;
 352   fra.me.line = 66;
 353   fra.me.meth = LOCATE_reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis___is_method_reachable_from_init;
 354   fra.me.has_broke = 0;
 355   fra.me.REG_size = 2;
 356   fra.me.REG[0] = NIT_NULL;
 357   fra.me.REG[1] = NIT_NULL;
 358   fra.me.REG[0] = p0;
 359   fra.me.REG[1] = p1;
 360   /* ./analysis//reachable_from_init_method_analysis.nit:66 */
 361   REGB0 = TAG_Bool(true);
 362   goto label1;
 363   label1: while(0);
 364   stack_frame_head = fra.me.prev;
 365   return REGB0;
 366 }
 367 void reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis___init(val_t p0, int* init_table){
 368   int itpos1 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_DefaultReachableFromInitMethodAnalysis].i;
 369   struct {struct stack_frame_t me;} fra;
 370   val_t tmp;
 371   if (init_table[itpos1]) return;
 372   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 373   fra.me.file = LOCATE_reachable_from_init_method_analysis;
 374   fra.me.line = 68;
 375   fra.me.meth = LOCATE_reachable_from_init_method_analysis___DefaultReachableFromInitMethodAnalysis___init;
 376   fra.me.has_broke = 0;
 377   fra.me.REG_size = 1;
 378   fra.me.REG[0] = NIT_NULL;
 379   fra.me.REG[0] = p0;
 380   /* ./analysis//reachable_from_init_method_analysis.nit:68 */
 381   CALL_reachable_from_init_method_analysis___ReachableFromInitMethodAnalysis___init(fra.me.REG[0])(fra.me.REG[0], init_table);
 382   stack_frame_head = fra.me.prev;
 383   init_table[itpos1] = 1;
 384   return;
 385 }