sandbox/bugs/attribute.c

qcc -O2 -DMTRACE=3 -g -Wall -pipe -D_FORTIFY_SOURCE=2 -o attribute/attribute attribute.c -lm
qcc: qcc.lex:1429: yylex: Assertion ‘var && var->scope == scope’ failed.
make: * [attribute.s] Aborted

qcc fails for the code below, because the type system is too rudimentary i.e. it does not recognize that f.rho is indeed a scalar.

attribute {
  scalar ρ;
}

scalar f[];

event init (i = 0) {
  f.ρ = new scalar;
}

Changing the code to

event init (i = 0) {
  scalar a = new scalar;
  f.ρ  = a;
}

works.