source: src/CompilationState.cc @ 9317419

ADTast-experimental
Last change on this file since 9317419 was 372b6d3, checked in by Peter A. Buhr <pabuhr@…>, 19 months ago

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

  • Property mode set to 100644
File size: 1.0 KB
Line 
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
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Mon Apr 10 19:12:50 2023
13// Update Count     : 6
14//
15
16#include "config.h"
17
18int
19        astp = false,
20        bresolvep = false,
21        bboxp = false,
22        bcodegenp = false,
23        ctorinitp = false,
24        declstatsp = false,
25        exdeclp = false,
26        exprp = false,
27        expraltp = false,
28        genericsp = false,
29        invariant = false,
30        libcfap = false,
31        nopreludep = false,
32        genproto = false,
33        deterministic_output = false,
34        useNewAST = true,
35        nomainp = false,
36        resolvep = false,
37        resolvprotop = false,
38        symtabp = false,
39        treep = false,
40        tuplep = false,
41        validp = false,
42        errorp = false,
43        codegenp = false,
44        prettycodegenp = false,
45        linemarks = false;
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.