c_src/global___reachable_from_init_method_analysis._sep.c

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