| // RUN: %clang_cc1 -std=c++1z %s -emit-llvm -o - | FileCheck %s --implicit-check-not=should_not_be_used | |
| void should_be_used_1(); | |
| void should_be_used_2(); | |
| void should_not_be_used(); | |
| void f() { | |
| if constexpr (false) | |
| should_not_be_used(); | |
| else | |
| should_be_used_1(); | |
| if constexpr (true || ({ label: false; })) | |
| should_be_used_2(); | |
| else { | |
| goto foo; | |
| foo: should_not_be_used(); | |
| } | |
| } | |
| // CHECK: should_be_used_1 | |
| // CHECK: should_be_used_2 |