source: tests/ctrl-flow/ifwhileCtl.cfa @ 65ef0cd

Last change on this file since 65ef0cd was 1fb09ef, checked in by Andrew Beach <ajbeach@…>, 2 years ago

Grouped some control flow tests together.

  • Property mode set to 100644
File size: 1.5 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2017 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// ifwhileCtl.cfa --
8//
9// Author           : Peter A. Buhr
10// Created On       : Sat Aug 26 10:13:11 2017
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Tue Dec  4 21:39:18 2018
13// Update Count     : 23
14//
15
16#include <fstream.hfa>
17
18int f( int r ) { return r; }
19
20int main( void ) {
21        int x = 4, y = 3;
22
23        if ( int x = 1 ) {
24                sout | "x != 0 correct";
25        } else {
26                sout | "x == 0 incorrect";
27        } // if
28
29        if ( int x = 4, y = 0 ) {
30                sout | "x != 0 && y != 0 incorrect";
31        } else if ( int x = 4, y = 1 ) {
32                sout | "x != 0 && y != 0 correct";
33        } else {
34                sout | "x == 0 || y == 0 incorrect";
35        } // if
36
37        if ( int x = 5, y = f( x ); x == y ) {
38                sout | "x == y correct";
39        } else {
40                sout | "x != y incorrect";
41        } // if
42
43        if ( struct S { int i; } s = { 3 }; s.i < 4 ) {
44                S s1;
45                sout | "s.i < 4 correct";
46        } else {
47                S s1;
48                sout | "s.i >= 4 incorrect";
49        } // if
50
51        while ( int x = 1 ) {
52                sout | "x != 0 correct";
53                break;
54        } // while
55
56        while ( int x = 4, y = 0 ) {
57                sout | "x != 0 && y != 0 incorrect";
58        } // while
59
60        while ( int x = 5, y = f( x ); x == y ) {
61                sout | "x == y correct";
62                break;
63        } // while
64
65        while ( struct S { int i; } s = { 3 }; s.i < 4 ) {
66                S s1;
67                sout | "s.i < 4 correct";
68                break;
69        } // while
70} // main
71
72// Local Variables: //
73// tab-width: 4 //
74// compile-command: "cfa ifwhileCtl.cfa" //
75// End: //
Note: See TracBrowser for help on using the repository browser.