Fix SVACE defect (SIGN_EXTENSION)

No match.