Just Launched: You can now import projects and releases from Google Code onto SourceForge
We are excited to release new functionality to enable a 1-click import from Google Code onto the Allura platform on SourceForge. You can import tickets, wikis, source, releases, and more with a few simple steps. Read More
From: Matt Harren <matth@cs...> - 2005-07-18 18:56:34
You're right about the cause of the bug: CIL ignored attributes when
deciding whether to print a cast for a Call node. This is now fixed in
CVS (for all attributes, not just const).
Note that CIL will print an explicit cast even if there was no cast in the
original code, which silences the warning. I guess you have to run your
programs through the original compiler if you want to see warnings about
missing casts and other things CIL makes explicit.
[mailto:cil-users-owner@...] On Behalf Of Shahar Golan
Sent: Monday, July 18, 2005 3:37 AM
Cc: 'Hannit Cohen'
Subject: const-cast solution?
The problem seems to occur only in function calls. That is, if
line 8 would have been:
08: int *p = (int*) &a;
08: int *p = &a;
We would have the proper cast in the cilled file.
Please consider the attached src/cil.ml as a replacement
Can anyone think of other type qualifiers that should be taken