================
@@ -23,19 +23,29 @@ void foo() { // CHECK-NEXT: Gap,File 0,
[[@LINE+1]]:21 -> [[@
} // CHECK-NEXT: [[@LINE-2]]:9 -> [[@LINE-1]]:5
= #1
// CHECK-NEXT: [[@LINE-2]]:5 -> [[@LINE-2]]:8
= #1
-// FIXME: Do not generate coverage for discarded branches in if consteval and
if constexpr statements
-constexpr int check_consteval(int i) {
- if consteval {
- i++;
- }
- if !consteval {
- i++;
- }
- if consteval {
- return 42;
- } else {
- return i;
- }
+// FIXME: Do not generate coverage for discarded branches in if constexpr
+// CHECK-LABEL: _Z16check_constexprAi:
+int check_constexprA(int i) { // CHECK-NEXT: [[@LINE]]:29 -> {{[0-9]+}}:2 =
#0
+ // CHECK-NEXT: [[@LINE+2]]:16 ->
[[@LINE+2]]:20 = #0
+ // CHECK-NEXT: Branch,File 0, [[@LINE+1]]:16
-> [[@LINE+1]]:20 = 0, 0
+ if constexpr(true) { // CHECK-NEXT: Gap,File 0, [[@LINE]]:21 ->
[[@LINE]]:22 = #1
+ i *= 3; // CHECK-NEXT: [[@LINE-1]]:22 -> [[@LINE+1]]:4
= #1
+ } else { // CHECK-NEXT: Gap,File 0, [[@LINE]]:4 ->
[[@LINE]]:10 = (#0 - #1)
+ i *= 5; // CHECK-NEXT: [[@LINE-1]]:10 -> [[@LINE+1]]:4
= (#0 - #1)
+ }
+ return i;
+}
+
+// CHECK-LABEL: _Z16check_constexprBi:
+int check_constexprB(int i) { // CHECK-NEXT: [[@LINE]]:29 -> {{[0-9]+}}:2 =
#0
----------------
ornata wrote:
Similarly, this would be better-named something like `check_if_constexpr_false`
https://github.com/llvm/llvm-project/pull/77214
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
