Array: Top is not an expression according to which an array can become newly partitioned
Array: Top is not an expression according to which an array can become newly partitioned

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer