Loads do not remove any nodes from the exec after sets. Also fix a 'node leak'.
[libfirm] / ir / ana2 / typalise.h
index fd49227..4d895b2 100644 (file)
@@ -1,23 +1,38 @@
 /* -*- c -*- */
 
 /*
- * Project:     libFIRM
- * File name:   ir/ana2/typalise.h
- * Purpose:     Compute rough approximations of pointer types
- * Author:      Florian
- * Modified by:
- * Created:     Mon 18 Oct 2004
- * CVS-ID:      $Id$
- * Copyright:   (c) 1999-2004 Universität Karlsruhe
- * Licence:     This file is protected by GPL -  GNU GENERAL PUBLIC LICENSE.
+ * 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.
  */
 
-# ifndef _TYPALISE_H_
-# define _TYPALISE_H_
+/**
+ * @file
+ * @brief   Compute rough approximations of pointer types
+ * @author  Florian
+ * @date    Mon 18 Oct 2004
+ * @version $Id$
+ */
+# ifndef FIRM_ANA2_TYPALISE_H
+# define FIRM_ANA2_TYPALISE_H
 
 # include "lset.h"
 
 # include "type.h"
+# include "irnode.h"
 
 /*
   Data Types and Structures
@@ -32,9 +47,8 @@ typedef enum typalise_kind_enum {
 typedef struct typalise
 {
   typalise_kind kind;
-  union
-  {
-    type *type;                 /* for kind == kind_exact and kind == kind_type */
+  union {
+    ir_type *type;              /* for kind == kind_exact and kind == kind_type */
     lset_t *types;              /* for kind == kind_types */
   } res;
   int id;
@@ -56,11 +70,25 @@ lset_t *filter_for_ta (lset_t*, typalise_t*);
 */
 typalise_t *typalise (ir_node*);
 
-# endif /* not defined _TYPALISE_H_ */
+/*
+  Initialise the Typalise module
+*/
+void typalise_init (void);
+
+# endif
 
 \f
 /*
   $Log$
+  Revision 1.4  2006/01/13 21:54:03  beck
+  renamed all types 'type' to 'ir_type'
+
+  Revision 1.3  2005/03/22 13:56:09  liekweg
+  "small" fix for exception b/d
+
+  Revision 1.2  2004/10/21 11:11:21  liekweg
+  whitespace fix
+
   Revision 1.1  2004/10/21 11:09:37  liekweg
   Moved memwalk stuf into irmemwalk
   Moved lset stuff into lset