VEXEngine: create a final state for statement-whitelisted and pre-maturely terminating IRSBs.
VEXEngine: create a final state for statement-whitelisted and pre-maturely terminating IRSBs.

axt/angr,angr/angr,schieb/angr,angr/angr,axt/angr,angr/angr,tyb0807/angr,f-prettyland/angr,iamahuman/angr,schieb/angr,iamahuman/angr,tyb0807/angr,f-prettyland/angr,chubbymaggie/angr,f-prettyland/angr,chubbymaggie/angr,axt/angr,chubbymaggie/angr,tyb0807/angr,schieb/angr,angr/simuvex,iamahuman/angr