source: src/Validate/FindSpecialDecls.h@ 1f7dc61

//
// Cforall Version 1.0.0 Copyright (C) 2018 University of Waterloo
//
// The contents of this file are covered under the licence agreement in the
// file "LICENCE" distributed with Cforall.
//
// FindSpecialDeclarations.h --
//
// Author           : Rob Schluntz
// Created On       : Thu Aug 30 09:49:02 2018
// Last Modified By : Andrew Beach
// Last Modified On : Wed Nov 10 15:16:00 2021
// Update Count     : 3
//

#pragma once

#include <list>  // for list

class Declaration;
class FunctionDecl;
class StructDecl;
class Type;

namespace ast {
        class TranslationUnit;
}

namespace Validate {
        /// size_t type - set when size_t typedef is seen. Useful in a few places,
        /// such as in determining array dimension type
        extern Type * SizeType;

        /// intrinsic dereference operator for unqualified types - set when *? function is seen in FindSpecialDeclarations.
        /// Useful for creating dereference ApplicationExprs without a full resolver pass.
        extern FunctionDecl * dereferenceOperator;

        /// special built-in functions and data structures necessary for destructor generation
        extern StructDecl * dtorStruct;
        extern FunctionDecl * dtorStructDestroy;

        /// find and remember some of the special declarations that are useful for generating code, so that they do not have to be discovered multiple times.
        void findSpecialDecls( std::list< Declaration * > & translationUnit );

/// find and remember some of the special declarations that are useful for
/// generating code, so that they do not have to be discovered multiple times.
void findGlobalDecls( ast::TranslationUnit & translationUnit );

} // namespace Validate

// Local Variables: //
// tab-width: 4 //
// mode: c++ //
// compile-command: "make install" //
// End: //