The CIL documentation suggests that calling
Ptranal.analyze_file is all that is needed to use the pointer analysis APIs. If I call
Ptranal.resolve_exp after doing this, I get:
******* Assertion failed: collect_ptset_slow can't query graph *******
If I call
Ptranal.compute_results false after
Ptranal.analyze_file, but before
Ptranal.resolve_exp, everything works fine. It's not clear if this is a bug in the documentation (
compute_results should be called, but it not documented), or if
compute_results should not be needed, and the lazy computation is broken somehow.
If needed, I can produce a minimal example. I didn't want to do this in case the problem is only a documentation bug.