> Also, allow new variable to be of ARRAY_TYPE like gimplify.c. Hmm, how about changing the test to abort on aggregate_value_p (type, NULL_TREE) in both places? We'll get aborts. These do get called on aggregates.