index 353ce21e88af205130ec950698296c57b013323f..48b3951ac5ea30d296263ee7f14338ee23561b9a 100644 (file)
gen_error("jvm_generate_load: unknow storage type %i", src -> storage);
break;
}
+
+ if(src -> typecheck)
+ {
+ jvm_generate(p, 1, 1, "checkcast %s", src -> forcetype -> full_name);
+ }
}
void