source: src/tests/ifwhileCtl.c@ 3fd8b0e

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr no_list persistent-indexer pthread-emulation qualifiedEnum
Last change on this file since 3fd8b0e was 4d7fb9e, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

formatting

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