blob: 572b1b064286b552dc5ae1d01ea112c0bececf7b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
// Copyright 2009 the Sputnik authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/**
* @name: S7.9_A9_T5;
* @section: 7.9, 12.6.1;
* @assertion: Check Do-While Statement for automatic semicolon insertion;
* @description: Execute do { \n ; \n }while((false) \n );
*/
//CHECK#1
do {
;
} while ((false)
)
|