---
** [bugs:#145] Initialization of Pointer Analysis Module**
**Status:** open
**Group:** Feature request
**Labels:** ptranal
**Created:** Wed Jun 25, 2014 12:42 PM UTC by az bro
**Last Updated:** Wed Jun 25, 2014 12:42 PM UTC
**Owner:** Gabriel Kerneis
I would like to be able to call the pointer analysis multiple
times. Edits are below.
In ptranal.mli:
val initialize: unit -> unit
val analyze_global : Cil.global -> unit
In ptranal.ml:
let initialize (u:unit) = (
A.initialize ();
found_undefined := false;
current_fundec := None;
fun_varinfo_map := F.empty;
current_ret := None;
Hashtbl.clear lvalue_hash;
Hashtbl.clear expressions;
Hashtbl.clear lvalues;
all_globals := [];
all_functions := [];
count := 0;
)
In golf.mli:
val initialize : unit -> unit
In golf.ml:
let initialize (u:unit) = (
Q.clear eq_worklist;
Q.clear leq_worklist;
Q.clear path_worklist;
PH.clear path_hash;
toplev_count := 0;
H.clear cached_aliases;
H.clear join_cache;
)
---
Sent from sourceforge.net because cil-users@lists.sourceforge.net is subscribed
to https://sourceforge.net/p/cil/bugs/
To unsubscribe from further messages, a project admin can change settings at
https://sourceforge.net/p/cil/admin/bugs/options. Or, if this is a mailing
list, you can unsubscribe from the mailing list.------------------------------------------------------------------------------
Open source business process management suite built on Java and Eclipse
Turn processes into business applications with Bonita BPM Community Edition
Quickly connect people, data, and systems into organized workflows
Winner of BOSSIE, CODIE, OW2 and Gartner awards
http://p.sf.net/sfu/Bonitasoft
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
