/*
- * Project: libFIRM
- * File name: ir/ana/irmemory.h
- * Purpose: Memory disambiguator
- * Author: Michael Beck
- * Modified by:
- * Created: 27.12.2006
- * CVS-ID: $Id$
- * Copyright: (c) 2006-2007 Universität Karlsruhe
- * License: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
- */
-#ifndef _FIRM_MEMORY_H
-#define _FIRM_MEMORY_H
+ * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved.
+ *
+ * This file is part of libFirm.
+ *
+ * This file may be distributed and/or modified under the terms of the
+ * GNU General Public License version 2 as published by the Free Software
+ * Foundation and appearing in the file LICENSE.GPL included in the
+ * packaging of this file.
+ *
+ * Licensees holding valid libFirm Professional Edition licenses may use
+ * this file in accordance with the libFirm Commercial License.
+ * Agreement provided with the Software.
+ *
+ * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
+ * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+ * PURPOSE.
+ */
+
+/**
+ * @file
+ * @brief Memory disambiguator
+ * @author Michael Beck
+ * @date 27.12.2006
+ * @version $Id$
+ */
+#ifndef FIRM_ANA_IRMEMORY_H
+#define FIRM_ANA_IRMEMORY_H
#include "firm_types.h"
* - a local variable and a TLS one never alias (R1 d)
* - a local variable and a parameter never alias (R1 e)
* - two different variables never alias (R2)
- * - if one is a variable which address has never taken
+ * - if one is a variable whose address has never been taken
* there is no alias (R3)
- * - if two memory addresses have the same base and there offsets
+ * - if two memory addresses have the same base and their offsets
* do not describe overlapping regions there is no alias (R4)
* - if opt_strong_typed is set and both addresses describe entities,
* different types never alias (R5)
* @param mode1 The mode of the first memory access.
* @param adr2 The second address.
* @param mode2 The mode of the second memory access.
- * @param options Additional options.
*
* @see get_alias_relation()
*/
*/
void set_irp_memory_disambiguator_options(unsigned options);
-#endif /* _FIRM_MEMORY_H */
+#endif /* FIRM_ANA_IRMEMORY_H */