Hi, Christoph,
The partial modules is very interesting. Was it used for a publication? If
so, could
you please tell me some reference(s).
If I see well partial does not use the deadcodeelim module, but, as
written in
CIL.pdf, it does if-statement simplification which goes in that d
Hi Gabriel,
On Thu, Sep 19, 2013 at 2:11 AM, Gabriel Kerneis wrote:
> On Wed, Sep 18, 2013 at 03:58:46PM -0400, Edward Schwartz wrote:
>> Are the CIL semantics formally defined anywhere? I am aware of
>> http://www.cs.berkeley.edu/~necula/Papers/cil_cc02.pdf but it seems
>> incomplete. Alternat
---
** [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
