WhileyCompiler
WhileyCompiler copied to clipboard
Array Dereference Operator
(see also #985)
Currently, the following is not supported:
&(int[]) p = new [1,2,3]
(*p)[0] = 2
The problem is that is claims we cannot dereference dynamically sized type. One possible solution is to update the test so that it's aware we're doing a "partial update".