updated header
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 10 May 2007 22:07:19 +0000 (22:07 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 10 May 2007 22:07:19 +0000 (22:07 +0000)
added properties

[r13783]

ir/ana/absgraph.c
ir/ana/absgraph.h
ir/ana/dfs.c
ir/ana/dfs.h
ir/ana/dfs_t.h
ir/ana/irlivechk.c
ir/ana/irlivechk.h

index 4f8e6c2..8bd3155 100644 (file)
  * @file    absgraph.c
  * @author  Sebastian Hack
  * @date    20.04.2007
- * @version $Id$
+ * @version $Id$
  * @summary
  *
  * Abstract graph implementations for the CFG of a ir_graph.
- *
- * Copyright (C) 2007 Universitaet Karlsruhe
- * Released under the GPL
  */
 #include "irgraph_t.h"
 #include "iredges_t.h"
index 356f571..1241379 100644 (file)
@@ -21,7 +21,7 @@
  * @file    absgraph.h
  * @author  Sebastian Hack
  * @date    20.04.2007
- * @version $Id$
+ * @version $Id$
  * @summary
  *
  * An abstract graph "interface". Currently
@@ -29,9 +29,6 @@
  *
  * This is just that we can do some graph algos
  * on the CFG, dominance tree, etc.
- *
- * Copyright (C) 2007 Universitaet Karlsruhe
- * Released under the GPL
  */
 #ifndef FIRM_ANA_ABSGRAPH_H
 #define FIRM_ANA_ABSGRAPH_H
index 6ef6ba4..8aa9645 100644 (file)
  * @file    dfs.c
  * @author  Sebastian Hack
  * @date    20.04.2007
- * @version $Id$
+ * @version $Id$
  * @summary
  *
  * Simple depth first search on CFGs.
- *
- * Copyright (C) 2007 Universitaet Karlsruhe
- * Released under the GPL
  */
 #include <assert.h>
 #include "irtools.h"
index d3189fd..6a549f0 100644 (file)
  * @file    dfs.h
  * @author  Sebastian Hack
  * @date    20.04.2007
- * @version $Id$
+ * @version $Id$
  * @summary
  *
  * Primitive depth-first search on the CFG.
- *
- * Copyright (C) 2007 Universitaet Karlsruhe
- * Released under the GPL
  */
 #ifndef FIRM_ANA_DFS_H
 #define FIRM_ANA_DFS_H
index 255a4b9..bcb1690 100644 (file)
@@ -1,16 +1,33 @@
-/**
- * @file   dfs_t.h
- * @date   21.04.2007
- * @author Sebastian Hack
+/*
+ * Copyright (C) 1995-2007 University of Karlsruhe.  All right reserved.
  *
- * depth first search internal stuff.
+ * 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.
  *
- * Copyright (C) 2007 Universitaet Karlsruhe
- * Released under the GPL
+ * 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 _DFS_T_H
-#define _DFS_T_H
+/**
+ * @file    dfs_t.h
+ * @author  Sebastian Hack
+ * @date    21.04.2007
+ * @version $Id$
+ * @summary
+ *
+ * depth first search internal stuff.
+ */
+#ifndef FIRM_ANA_DFS_T_H
+#define FIRM_ANA_DFS_T_H
 
 #include "firm_config.h"
 #include "hashptr.h"
@@ -73,4 +90,4 @@ static INLINE int _dfs_is_ancestor(const struct _dfs_t *dfs, void *a, void *b)
 #define dfs_get_post_num_node(dfs, num) ((dfs)->post_order[num]->node)
 #define dfs_is_ancestor(dfs, n, m)      _dfs_is_ancestor((n), (m))
 
-#endif /* _DFS_T_H */
+#endif /* FIRM_ANA_DFS_T_H */
index e6bde6c..09a38b0 100644 (file)
@@ -21,7 +21,7 @@
  * @file    livechk.c
  * @date    21.04.2007
  * @author  Sebastian Hack
- * @version $Id$
+ * @version $Id$
  * @summary
  *
  * Liveness checks as developed by Benoit Boissinot, Fabrice Rastello and myself.
@@ -36,9 +36,6 @@
  * - data obtained from a depth-first-search
  *
  * The precomputation remains valid as long as the CFG is not altered.
- *
- * Copyright (C) 2007 Universitaet Karlsruhe
- * Released under the GPL
  */
 
 #include <stdio.h>
index 44ecd18..fc22e66 100644 (file)
  * @file    irlivechk.h
  * @author  Sebastian Hack
  * @date    22.04.2007
- * @version $Id$
+ * @version $Id$
  * @summary
  *
  * Live in/end checks whose only precomputation concerns the structure of the CFG.
  * Hence, nothing has to be updated if the program is modified unless the CFG is touched.
  * See .c file for more comments.
- *
- * Copyright (C) 2007 Universitaet Karlsruhe
- * Released under the GPL
  */
 #ifndef FIRM_ANA_IRLIVECHK_H
 #define FIRM_ANA_IRLIVECHK_H