EXTERN void dataflow_analysis ARGS((int, vl_id_range *, int, int));
EXTERN void dataflow_dup_set ARGS(());
EXTERN set_t *dataflow_pop_set ARGS(());
EXTERN void dataflow_replace_set ARGS((set_t*));
EXTERN set_t *dataflow_merge_set ARGS((set_t*, set_t*));
EXTERN void dataflow_free_set ARGS((set_t*));
EXTERN void record_uninitialized_var ARGS((vl_id_range*));
EXTERN void record_initialized_var ARGS((vl_id_range*));
EXTERN void dataflow_init ARGS(());
EXTERN void dataflow_end ARGS(());