Verifier: Unused comdats might not have a corresponding GV