let option_name = "-undefined-pointer-comparison-propagate-all"