// 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 <sys/lamp.h>

#include <cassert>

int main() {
    auto val = __lamp_any_i8();
    auto aggr = static_cast< char * >( __lamp_any_array() );
    aggr[5] = val; /* ERROR */
}