1*67e74705SXin Li // RUN: %clang_cc1 -std=c++1z %s -emit-llvm -o - | FileCheck %s --implicit-check-not=should_not_be_used 2*67e74705SXin Li 3*67e74705SXin Li void should_be_used_1(); 4*67e74705SXin Li void should_be_used_2(); 5*67e74705SXin Li void should_not_be_used(); f()6*67e74705SXin Livoid f() { 7*67e74705SXin Li if constexpr (false) 8*67e74705SXin Li should_not_be_used(); 9*67e74705SXin Li else 10*67e74705SXin Li should_be_used_1(); 11*67e74705SXin Li 12*67e74705SXin Li if constexpr (true || ({ label: false; })) 13*67e74705SXin Li should_be_used_2(); 14*67e74705SXin Li else { 15*67e74705SXin Li goto foo; 16*67e74705SXin Li foo: should_not_be_used(); 17*67e74705SXin Li } 18*67e74705SXin Li } 19*67e74705SXin Li 20*67e74705SXin Li // CHECK: should_be_used_1 21*67e74705SXin Li // CHECK: should_be_used_2 22