tlively wrote: > The reason it is passing is because it only has `-NOT` checks This doesn't look right, though. There are plenty of positive checks in the file, so how could it be passing if it's not checking the right things? https://github.com/llvm/llvm-project/pull/80900