clang/test/SemaCXX/cxx23-assume-print.cpp

   1 // RUN: %clang_cc1 -std=c++23 -ast-print %s | FileCheck %s
   2
   3 // CHECK: void f(int x, int y) {
   4 void 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 }