// S : tags error star min $TAGS // S : expect --result error --location-comment ERROR // S : cc -o test.bc $CC_OPT $file // S : verify --lamp unit -o nofail:malloc $V_OPT test.bc #include #include int main() { auto aggr = static_cast< char * >( __lamp_any_array() ); auto idx = __lamp_any_i64(); aggr[idx] = 10; /* ERROR */ }