source: src/CompilationState.cc @ 8941b6b

Last change on this file since 8941b6b was 372b6d3, checked in by Peter A. Buhr <pabuhr@…>, 21 months ago

add -invariant/--invariant flag to enable invariant checking during AST passes

  • Property mode set to 100644
File size: 1.0 KB
RevLine 
[7f38b67a]1//
2// Cforall Version 1.0.0 Copyright (C) 2018 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// CompilationState.cc --
8//
9// Author           : Rob Schluntz
10// Created On       : Mon Ju1 30 10:47:01 2018
[372b6d3]11// Last Modified By : Peter A. Buhr
12// Last Modified On : Mon Apr 10 19:12:50 2023
13// Update Count     : 6
[7f38b67a]14//
15
[0ea0b8f]16#include "config.h"
17
[3e96559]18int
[7f38b67a]19        astp = false,
20        bresolvep = false,
21        bboxp = false,
22        bcodegenp = false,
23        ctorinitp = false,
24        declstatsp = false,
[00da199]25        exdeclp = false,
[7f38b67a]26        exprp = false,
27        expraltp = false,
28        genericsp = false,
[372b6d3]29        invariant = false,
[7f38b67a]30        libcfap = false,
31        nopreludep = false,
[62ce290]32        genproto = false,
[7215000]33        deterministic_output = false,
[0fc91db1]34        useNewAST = true,
[7f38b67a]35        nomainp = false,
36        resolvep = false,
[3b3491b]37        resolvprotop = false,
[7f38b67a]38        symtabp = false,
39        treep = false,
40        tuplep = false,
41        validp = false,
42        errorp = false,
43        codegenp = false,
44        prettycodegenp = false,
[1bb9a9a]45        linemarks = false;
[7f38b67a]46
47// Local Variables: //
48// tab-width: 4 //
49// mode: c++ //
50// compile-command: "make install" //
51// End:  //
Note: See TracBrowser for help on using the repository browser.