you can run llvm-lit like that and then grep the logs directory for “Source function is always UB”.
You also want to change the opt-alive.sh script to pass the flag -tv-fail-src-ub to opt.
That looks good.
That’s the same thing as branches. A regex should catch all those cases and create new function arguments.