sjoerdmeijer wrote: I don't mind a debugging option, but just wanted to check: the hierarchy of checks is that it performs SIV first before doing the others. So, does it matter for testing that some other checks might be running afterwards? https://github.com/llvm/llvm-project/pull/157084