Added CONST_NEED_ADDR for &a->b constants
Label/memaddress constants + compound literal updates
type checking on const_fold_need_val()