Add special handling for zero-length arrays to enhance PTA precision - #140

Add special handling for zero-length arrays to enhance PTA precision#140

zhangt2333 merged 2 commits into

pascal-lab:masterpascal-lab/Tai-e:masterfrom

cs-cat:mastercs-cat/Tai-e:masterCopy head branch name to clipboard