Conditional compilation results in the code passing the check for missing executable statement

[CrazyFanFan]

Description

Conditional compilation results in the code passing the check for missing executable statement. However, it can not pass module verify.

Reproduction

enum Foo: CaseIterable {
    case fooA
    case fooB
}

if let foo = Foo.allCases.randomElement() {
    switch foo {
    case .fooA:
        print("A")
    case .fooB:
        #if DEBUG
        print("B")
        #endif
    }
}

Expected behavior

Failed to compile under release config.

Environment

swift-driver version: 1.90.11.1 Apple Swift version 5.10 (swiftlang-5.10.0.13 clang-1500.3.9.4)
Target: arm64-apple-macosx14.0

Additional information

No response