Params referenced by Varrefs have an undefined bitWidth value

[tiagolascasas]

If a varref references a param declaration, neither of the nodes have a defined bitWidth value. This does not happen if the varref references other types of declarations. Replicate with the aspect:

import weaver.WeaverJps;
aspectdef Test
	for (var v of Query.search("varref")) {
		println("varref: " + v.code + " - " + v.bitWidth +
		" | decl: " + v.decl.code + " - " + v.decl.bitWidth);
	}
end

And with the input source code:

void foo(int A[100], int B) {
	for (int i = 0; i < 100; i++) {
		A[i] = A[i] + B;
	}
}

The output is:

varref: i - 32        | decl: int i = 0 - 32
varref: i - 32        | decl: int i = 0 - 32
varref: A - undefined | decl: int A[100] - undefined
varref: i - 32        | decl: int i = 0 - 32
varref: A - undefined | decl: int A[100] - undefined
varref: i - 32        | decl: int i = 0 - 32
varref: B - 32        | decl: int B - 32