source: src/ResolvExpr/EraseWith.hpp @ 21f4dff

Last change on this file since 21f4dff was d3652df, checked in by Andrew Beach <ajbeach@…>, 13 months ago

Took the new EraseWith? pass out of the box pass. It might be able to go even earlier or folded into an existing pass. C code generation now will not generate WithStmt? nodes.

  • Property mode set to 100644
File size: 800 bytes
RevLine 
[d3652df]1//
2// Cforall Version 1.0.0 Copyright (C) 2015 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// EraseWith.hpp -- After resolution, erase all with constructs.
8//
9// Author           : Andrew Beach
10// Created On       : Sun Oct  8  9:36:00 2023
11// Last Modified By : Andrew Beach
12// Last Modified On : Sun Oct  8  9:47:00 2023
13// Update Count     : 0
14//
15
16#pragma once
17
18namespace ast {
19        class TranslationUnit;
20}
21
22namespace ResolvExpr {
23
24void eraseWith( ast::TranslationUnit & translationUnit );
25/// Remove withExprs from functions and any WithStmt nodes.
26/// This must be done after all resolution that needs to see the names from
27/// a with. We put it after the last pass to use WithSymbolTable.
28
29}
Note: See TracBrowser for help on using the repository browser.