2 * SPDX-License-Identifier: BSD-3-Clause
4 * Copyright (c) 1983, 1993
5 * The Regents of the University of California. All rights reserved.
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
10 * 1. Redistributions of source code must retain the above copyright
11 * notice, this list of conditions and the following disclaimer.
12 * 2. Redistributions in binary form must reproduce the above copyright
13 * notice, this list of conditions and the following disclaimer in the
14 * documentation and/or other materials provided with the distribution.
15 * 3. Neither the name of the University nor the names of its contributors
16 * may be used to endorse or promote products derived from this software
17 * without specific prior written permission.
19 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
20 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
21 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
22 * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
23 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
24 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
25 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
26 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
27 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
28 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
34 static char sccsid[] = "@(#)dfn.c 8.1 (Berkeley) 6/6/93";
38 #include <sys/cdefs.h>
39 __FBSDID("$FreeBSD$");
49 typedef struct dfnstruct dfntype;
51 dfntype dfn_stack[ DFN_DEPTH ];
61 dfn_counter = DFN_NAN;
65 * given this parent, depth first number its children.
73 if ( debug & DFNDEBUG ) {
74 printf( "[dfn] dfn(" );
80 * if we're already numbered, no need to look any further.
82 if ( dfn_numbered( parentp ) ) {
86 * if we're already busy, must be a cycle
88 if ( dfn_busy( parentp ) ) {
89 dfn_findcycle( parentp );
93 * visit yourself before your children
95 dfn_pre_visit( parentp );
99 for ( arcp = parentp -> children ; arcp ; arcp = arcp -> arc_childlist ) {
100 if ( arcp -> arc_flags & DEADARC )
102 dfn( arcp -> arc_childp );
105 * visit yourself after your children
107 dfn_post_visit( parentp );
111 * push a parent onto the stack and mark it busy
114 dfn_pre_visit(nltype *parentp)
118 if ( dfn_depth >= DFN_DEPTH )
119 errx( 1 , "[dfn] out of my depth (dfn_stack overflow)" );
120 dfn_stack[ dfn_depth ].nlentryp = parentp;
121 dfn_stack[ dfn_depth ].cycletop = dfn_depth;
122 parentp -> toporder = DFN_BUSY;
124 if ( debug & DFNDEBUG ) {
125 printf( "[dfn_pre_visit]\t\t%d:" , dfn_depth );
126 printname( parentp );
133 * are we already numbered?
136 dfn_numbered(nltype *childp)
139 return ( childp -> toporder != DFN_NAN && childp -> toporder != DFN_BUSY );
143 * are we already busy?
146 dfn_busy(nltype *childp)
149 if ( childp -> toporder == DFN_NAN ) {
156 * MISSING: an explanation
159 dfn_findcycle(nltype *childp)
166 for ( cycletop = dfn_depth ; cycletop > 0 ; cycletop -= 1 ) {
167 cycleheadp = dfn_stack[ cycletop ].nlentryp;
168 if ( childp == cycleheadp ) {
171 if ( childp -> cyclehead != childp &&
172 childp -> cyclehead == cycleheadp ) {
177 errx( 1 , "[dfn_findcycle] couldn't find head of cycle" );
179 if ( debug & DFNDEBUG ) {
180 printf( "[dfn_findcycle] dfn_depth %d cycletop %d " ,
181 dfn_depth , cycletop );
182 printname( cycleheadp );
186 if ( cycletop == dfn_depth ) {
188 * this is previous function, e.g. this calls itself
191 dfn_self_cycle( childp );
194 * glom intervening functions that aren't already
195 * glommed into this cycle.
196 * things have been glommed when their cyclehead field
197 * points to the head of the cycle they are glommed into.
199 for ( tailp = cycleheadp ; tailp -> cnext ; tailp = tailp -> cnext ) {
200 /* void: chase down to tail of things already glommed */
202 if ( debug & DFNDEBUG ) {
203 printf( "[dfn_findcycle] tail " );
210 * if what we think is the top of the cycle
211 * has a cyclehead field, then it's not really the
212 * head of the cycle, which is really what we want
214 if ( cycleheadp -> cyclehead != cycleheadp ) {
215 cycleheadp = cycleheadp -> cyclehead;
217 if ( debug & DFNDEBUG ) {
218 printf( "[dfn_findcycle] new cyclehead " );
219 printname( cycleheadp );
224 for ( index = cycletop + 1 ; index <= dfn_depth ; index += 1 ) {
225 childp = dfn_stack[ index ].nlentryp;
226 if ( childp -> cyclehead == childp ) {
228 * not yet glommed anywhere, glom it
229 * and fix any children it has glommed
231 tailp -> cnext = childp;
232 childp -> cyclehead = cycleheadp;
234 if ( debug & DFNDEBUG ) {
235 printf( "[dfn_findcycle] glomming " );
238 printname( cycleheadp );
242 for ( tailp = childp ; tailp->cnext ; tailp = tailp->cnext ) {
243 tailp -> cnext -> cyclehead = cycleheadp;
245 if ( debug & DFNDEBUG ) {
246 printf( "[dfn_findcycle] and its tail " );
247 printname( tailp -> cnext );
249 printname( cycleheadp );
254 } else if ( childp -> cyclehead != cycleheadp /* firewall */ ) {
256 "[dfn_busy] glommed, but not to cyclehead\n" );
263 * deal with self-cycles
267 dfn_self_cycle(nltype *parentp)
270 * since we are taking out self-cycles elsewhere
271 * no need for the special case, here.
274 if ( debug & DFNDEBUG ) {
275 printf( "[dfn_self_cycle] " );
276 printname( parentp );
283 * visit a node after all its children
284 * [MISSING: an explanation]
285 * and pop it off the stack
288 dfn_post_visit(nltype *parentp)
293 if ( debug & DFNDEBUG ) {
294 printf( "[dfn_post_visit]\t%d: " , dfn_depth );
295 printname( parentp );
300 * number functions and things in their cycles
301 * unless the function is itself part of a cycle
303 if ( parentp -> cyclehead == parentp ) {
305 for ( memberp = parentp ; memberp ; memberp = memberp -> cnext ) {
306 memberp -> toporder = dfn_counter;
308 if ( debug & DFNDEBUG ) {
309 printf( "[dfn_post_visit]\t\tmember " );
310 printname( memberp );
311 printf( " -> toporder = %d\n" , dfn_counter );
317 if ( debug & DFNDEBUG ) {
318 printf( "[dfn_post_visit]\t\tis part of a cycle\n" );