source: tests/shortCircuit.cfa@ bb85f76

//
// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
//
// The contents of this file are covered under the licence agreement in the
// file "LICENCE" distributed with Cforall.
//
// shortCircuit.cfa --
//
// Author           : Peter A. Buhr
// Created On       : Thu Jan 28 18:26:16 2016
// Last Modified By : Peter A. Buhr
// Last Modified On : Tue Dec  4 18:26:05 2018
// Update Count     : 4
//

void g( float ) {}
void g( int ) {}

void f( int a ) {
        int b = 0;
        float c = 0;
        g( a ? b : c );
        g( a && c );
        g( a || b );
}

void g() {
        int a = 1;
        struct Int { int b; } a = { 0 };
        if ( a ) {
                while ( a ) {
                        int *b;
                        for ( b; a; b ) {
                        }
                }
        }
        // This should never be resolved to.
        (void)(Int)a;
}

#include <fstream.hfa>

struct test_t {
        int x;
};

int ?!=?( test_t lhs, zero_t ) {
        sout | lhs.x | " ";
        return lhs.x != 0;
}

int main() {
        sout | nlOff;
        test_t true_val, false_val;
        true_val.x = 1;
        false_val.x = 0;

        true_val && false_val;
        sout | nl;

        true_val || false_val;
        sout | nl;

        false_val && true_val;
        sout | nl;

        false_val || true_val;
        sout | nl;

        return 0;
}

// Local Variables: //
// tab-width: 4 //
// compile-command: "cfa abs.cfa" //
// End: //