Support unused global variable elimination to reduce memory usage
Revert cancellation of length restriction in initializer-list evaluation to shorten analysis time and tune parameters of the adaptive array length restriction
Fix restriction on evaluating number of initializers in a initializer-list to be separated from the restriction on the array length
Fix array-subscript-expression evaluation to refer the representative element of the array so that the cross-reference to the array can be reported even if the subscript points to the element eliminated by the adaptive array length restriction
Revise address derivation logic in order not to bind the representative array element to a particular address
Revert previous revision of the address derivation and revise memory binding of the representative array element so that the reverse resolution by memory address can work
Fix array-subscript-expression evaluation in order not to derive the representative array element if the definite subscript value is out of bound
Fix abend problem when the size omitted array is accessed; caused by changes of array-subscript-expression evaluation
Fix ugly component name of the representative array element
Merge branch 'feature/unused-gvar-elimination' into develop