Fixed a bug that will cause the pts-to info of local array not
initialized.