verify: Clarify assertion message.
[libfirm] / ir / ana / irbackedge_t.h
1 /*
2  * Copyright (C) 1995-2011 University of Karlsruhe.  All right reserved.
3  *
4  * This file is part of libFirm.
5  *
6  * This file may be distributed and/or modified under the terms of the
7  * GNU General Public License version 2 as published by the Free Software
8  * Foundation and appearing in the file LICENSE.GPL included in the
9  * packaging of this file.
10  *
11  * Licensees holding valid libFirm Professional Edition licenses may use
12  * this file in accordance with the libFirm Commercial License.
13  * Agreement provided with the Software.
14  *
15  * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
16  * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
17  * PURPOSE.
18  */
19
20 /**
21  * @file
22  * @brief     Access function for backedges -- private header.
23  * @author    Goetz Lindenmaier
24  * @date      7.2002
25  */
26 #ifndef FIRM_ANA_IRBACKEDGE_T_H
27 #define FIRM_ANA_IRBACKEDGE_T_H
28
29 #include "bitset.h"
30
31 /**
32  * Allocate a new backedge array on the obstack for given size.
33  *
34  * @param obst   the obstack to allocate the array on
35  * @param size   the size of the backedge array
36  */
37 bitset_t *new_backedge_arr(struct obstack *obst, size_t size);
38
39 /**
40  * Adapts backedges array to new size.
41  * Must be called if the in array of an IR node is changed.  Else
42  * Segmentation faults might occur.
43  */
44 void fix_backedges(struct obstack *obst, ir_node *n);
45
46 #endif