---
** [bugs:#141] Bug in pointer analysis or documentation**
**Status:** open
**Created:** Thu Sep 19, 2013 02:36 PM UTC by Ed Schwartz
**Last Updated:** Thu Sep 19, 2013 02:36 PM UTC
**Owner:** nobody
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.
---
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.------------------------------------------------------------------------------
LIMITED TIME SALE - Full Year of Microsoft Training For Just $49.99!
1,500+ hours of tutorials including VisualStudio 2012, Windows 8, SharePoint
2013, SQL 2012, MVC 4, more. BEST VALUE: New Multi-Library Power Pack includes
Mobile, Cloud, Java, and UX Design. Lowest price ever! Ends 9/20/13.
http://pubads.g.doubleclick.net/gampad/clk?id=58041151&iu=/4140/ostg.clktrk
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
