//
// 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 -- Find special declarations used in the compiler.
//
// 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: //