Add test for untested path in SimplifyCFG

This case wasn't checked with a pointer condition.
Add missing CHECK-LABEL