source: src/Validate/ReturnCheck.hpp @ 4bb5d36

ADTast-experimentalpthread-emulationqualifiedEnum
Last change on this file since 4bb5d36 was 4ec9513, checked in by Andrew Beach <ajbeach@…>, 3 years ago

Converted validate C, including adding DimensionExpr? to the new ast.

  • Property mode set to 100644
File size: 806 bytes
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// ReturnCheck.hpp -- Run simple (non-typed) checks on return statements.
8//
9// Author           : Andrew Beach
10// Created On       : Fri Mar 18 14:05:00 2022
11// Last Modified By : Andrew Beach
12// Last Modified On : Fri Mar 18 14:26:00 2022
13// Update Count     : 0
14//
15
16#pragma once
17
18namespace ast {
19    class TranslationUnit;
20}
21
22namespace Validate {
23
24/// Check that return statements have an expression when they must have one.
25void checkReturnStatements( ast::TranslationUnit & translationUnit );
26
27}
28
29// Local Variables: //
30// tab-width: 4 //
31// mode: c++ //
32// compile-command: "make install" //
33// End: //
34
Note: See TracBrowser for help on using the repository browser.