14 lines · cpp
1// RUN: %clang_cc1 -std=c++23 -ast-print %s | FileCheck %s2 3// CHECK: void f(int x, int y) {4void f(int x, int y) {5 // CHECK-NEXT: {{\[}}[assume(true)]]6 [[assume(true)]];7 8 // CHECK-NEXT: {{\[}}[assume(2 + 4)]]9 [[assume(2 + 4)]];10 11 // CHECK-NEXT: {{\[}}[assume(x == y)]]12 [[assume(x == y)]];13}14