1*67e74705SXin Li // RUN: %clang_cc1 %s -verify -pedantic -fsyntax-only -Wno-gnu-statement-expression 2*67e74705SXin Li 3*67e74705SXin Li int stmtexpr_fn(); stmtexprs(int i)4*67e74705SXin Livoid stmtexprs(int i) { 5*67e74705SXin Li __builtin_assume( ({ 1; }) ); // no warning about "side effects" 6*67e74705SXin Li __builtin_assume( ({ if (i) { (void)0; }; 42; }) ); // no warning about "side effects" 7*67e74705SXin Li // expected-warning@+1 {{the argument to '__builtin_assume' has side effects that will be discarded}} 8*67e74705SXin Li __builtin_assume( ({ if (i) ({ stmtexpr_fn(); }); 1; }) ); 9*67e74705SXin Li } 10