1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
"http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>
<META http-equiv="Content-Type" content="text/html; charset=ANSI_X3.4-1968">
<META name="GENERATOR" content="hevea 1.08">
<base target="main">
<script language="JavaScript">
<!-- Begin
function loadTop(url) {
parent.location.href= url;
}
// -->
</script>
<LINK rel="stylesheet" type="text/css" href="cil.css">
<TITLE>
Changes
</TITLE>
</HEAD>
<BODY >
<A HREF="cil019.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="ciltoc.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<HR>
<H2 CLASS="section"><A NAME="htoc49">20</A> Changes</H2><A NAME="sec-changes"></A>
<UL CLASS="itemize"><LI CLASS="li-itemize">
<B>May 20, 2006</B>: <B>Released version 1.3.5</B>
<LI CLASS="li-itemize"><B>May 19, 2006</B>: <TT>Makefile.cil.in</TT>/<TT>Makefile.cil</TT> have
been renamed <TT>Makefile.in</TT>/<TT>Makefile</TT>. And <TT>maincil.ml</TT> has
been renamed <TT>main.ml</TT>.
<LI CLASS="li-itemize"><B>May 18, 2006</B>: Added a new module <A HREF="api/Cfg.html">Cfg</A> to compute the
control-flow graph. Unlike the older <A HREF="api/Cil.html#VALcomputeCFGInfo">Cil.computeCFGInfo</A>,
the new version does not modify the code.
<LI CLASS="li-itemize"><B>May 18, 2006</B>: Added several new analyses: reaching
definitions, available expressions, liveness analysis, and dead code
elimination. See Section <A HREF="ext.html#sec-Extension">8</A>.
<LI CLASS="li-itemize"><B>May 2, 2006</B>: Added a flag <TT>--noInsertImplicitCasts</TT>.
When this flag is used, CIL code will only include casts inserted by
the programmer. Implicit coercions are not changed to explicit casts.
<LI CLASS="li-itemize"><B>April 16, 2006</B>: Minor improvements to the <TT>--stats</TT>
flag (Section <A HREF="cil007.html#sec-cilly-asm-options">7.2</A>). We now use Pentium performance
counters by default, if your processor supports them.
<LI CLASS="li-itemize"><B>April 10, 2006</B>: Extended <TT>machdep.c</TT> to support
microcontroller compilers where the struct alignment of integer
types does not match the size of the type. Thanks to Nathan
Cooprider for the patch.
<LI CLASS="li-itemize"><B>April 6, 2006</B>: Fix for global initializers of unions when
the union field being initialized is not the first one, and for
missing initializers of unions when the first field is not the
largest field.
<LI CLASS="li-itemize"><B>April 6, 2006</B>: Fix for bitfields in the SFI module.
<LI CLASS="li-itemize"><B>April 6, 2006</B>: Various fixes for gcc attributes.
<TT>packed</TT>, <TT>section</TT>, and <TT>always_inline</TT> attributes are now
parsed correctly. Also fixed printing of attributes on enum types.
<LI CLASS="li-itemize"><B>March 30, 2006</B>: Fix for <TT>rmtemps.ml</TT>, which deletes
unused inline functions. When in <TT>gcc</TT> mode CIL now leaves all
inline functions in place, since <TT>gcc</TT> treats these as externally
visible.
<LI CLASS="li-itemize"><B>March 15, 2006</B>: Fix for <TT>typeof(<I>e</I>)</TT> when <I>e</I> has type
<TT>void</TT>.
<LI CLASS="li-itemize"><B>March 3, 2006</B>: Assume inline assembly instructions can
fall through for the purposes of adding return statements. Thanks to
Nathan Cooprider for the patch.
<LI CLASS="li-itemize"><B>February 27, 2006</B>: Fix for extern inline functions when
the output of CIL is fed back into CIL.
<LI CLASS="li-itemize"><B>January 30, 2006</B>: Fix parsing of <TT>switch</TT> without braces.
<LI CLASS="li-itemize"><B>January 30, 2006</B>: Allow `$' to appear in identifiers.
<LI CLASS="li-itemize"><B>January 13, 2006</B>: Added support for gcc's alias attribute
on functions. See Section <A HREF="cil016.html#sec-ugly-gcc">16.2</A>, item 8.
<LI CLASS="li-itemize"><B>December 9, 2005</B>: Christoph Spiel fixed the Golf and
Olf modules so that Golf can be used with the points-to analysis.
He also added performance fixes and cleaned up the documentation.
<LI CLASS="li-itemize"><B>December 1, 2005</B>: Major rewrite of the ext/callgraph module.
<LI CLASS="li-itemize"><B>December 1, 2005</B>: Preserve enumeration constants in CIL. Default
is the old behavior to replace them with integers.
<LI CLASS="li-itemize"><B>November 30, 2005</B>: Added support for many GCC <TT>__builtin</TT>
functions.
<LI CLASS="li-itemize"><B>November 30, 2005</B>: Added the EXTRAFEATURES configure
option, making it easier to add Features to the build process.
<LI CLASS="li-itemize"><B>November 23, 2005</B>: In MSVC mode do not remove any locals whose name
appears as a substring in an inline assembly.
<LI CLASS="li-itemize"><B>November 23, 2005</B>: Do not add a return to functions that have the
noreturn attribute.
<LI CLASS="li-itemize"><B>November 22, 2005</B>: <B>Released version 1.3.4</B>
<LI CLASS="li-itemize"><B>November 21, 2005</B>: Performance and correctness fixes for
the Points-to Analysis module. Thanks to Christoph Spiel for the
patches.
<LI CLASS="li-itemize"><B>October 5, 2005</B>: CIL now builds on SPARC/Solaris. Thanks
to Nick Petroni and Remco van Engelen for the patches.
<LI CLASS="li-itemize"><B>September 26, 2005</B>: CIL no longer uses the `<TT>-I-</TT>' flag
by default when preprocessing with gcc.
<LI CLASS="li-itemize"><B>August 24, 2005</B>: Added a command-line option
“--forceRLArgEval” that forces function arguments to be evaluated
right-to-left. This is the default behavior in unoptimized gcc and
MSVC, but the order of evaluation is undefined when using
optimizations, unless you apply this CIL transformation. This flag
does not affect the order of evaluation of e.g. binary operators,
which remains undefined. Thanks to Nathan Cooprider for the patch.
<LI CLASS="li-itemize"><B>August 9, 2005</B>: Fixed merging when there are more than 20
input files.
<LI CLASS="li-itemize"><B>August 3, 2005</B>: When merging, it is now an error to
declare the same global variable twice with different initializers.
<LI CLASS="li-itemize"><B>July 27, 2005</B>: Fixed bug in transparent unions.
<LI CLASS="li-itemize"><B>July 27, 2005</B>: Fixed bug in collectInitializer. Thanks to
Benjamin Monate for the patch.
<LI CLASS="li-itemize"><B>July 26, 2005</B>: Better support for extended inline assembly
in gcc.
<LI CLASS="li-itemize"><B>July 26, 2005</B>: Added many more gcc __builtin* functions
to CIL. Most are treated as Call instructions, but a few are
translated into expressions so that they can be used in global
initializers. For example, “<TT>__builtin_offsetof(t, field)</TT>” is
rewritten as “<TT>&((t*)0)->field</TT>”, the traditional way of calculating
an offset.
<LI CLASS="li-itemize"><B>July 18, 2005</B>: Fixed bug in the constant folding of shifts
when the second argument was negative or too large.
<LI CLASS="li-itemize"><B>July 18, 2005</B>: Fixed bug where casts were not always
inserted in function calls.
<LI CLASS="li-itemize"><B>June 10, 2005</B>: Fixed bug in the code that makes implicit
returns explicit. We weren't handling switch blocks correctly.
<LI CLASS="li-itemize"><B>June 1, 2005</B>: <B>Released version 1.3.3</B>
<LI CLASS="li-itemize"><B>May 31, 2005</B>: Fixed handling of noreturn attribute for function
pointers.
<LI CLASS="li-itemize"><B>May 30, 2005</B>: Fixed bugs in the handling of constructors in gcc.
<LI CLASS="li-itemize"><B>May 30, 2005</B>: Fixed bugs in the generation of global variable IDs.
<LI CLASS="li-itemize"><B>May 27, 2005</B>: Reimplemented the translation of function calls so
that we can intercept some builtins. This is important for the uses of
__builtin_constant_p in constants.
<LI CLASS="li-itemize"><B>May 27, 2005</B>: Export the plainCilPrinter, for debugging.
<LI CLASS="li-itemize"><B>May 27, 2005</B>: Fixed bug with printing of const attribute for
arrays.
<LI CLASS="li-itemize"><B>May 27, 2005</B>: Fixed bug in generation of type signatures. Now they
should not contain expressions anymore, so you can use structural equality.
This used to lead to Out_of_Memory exceptions.
<LI CLASS="li-itemize"><B>May 27, 2005</B>: Fixed bug in type comparisons using
TBuiltin_va_list.
<LI CLASS="li-itemize"><B>May 27, 2005</B>: Improved the constant folding in array lengths and
case expressions.
<LI CLASS="li-itemize"><B>May 27, 2005</B>: Added the <TT>__builtin_frame_address</TT> to the set
of gcc builtins.
<LI CLASS="li-itemize"><B>May 27, 2005</B>: Added the CIL project to SourceForge.
<LI CLASS="li-itemize"><B>April 23, 2005</B>: The cattr field was not visited.
<LI CLASS="li-itemize"><B>March 6, 2005</B>: Debian packaging support
<LI CLASS="li-itemize"><B>February 16, 2005</B>: Merger fixes.
<LI CLASS="li-itemize"><B>February 11, 2005</B>: Fixed a bug in <TT>--dopartial</TT>. Thanks to
Nathan Cooprider for this fix.
<LI CLASS="li-itemize"><B>January 31, 2005</B>: Make sure the input file is closed even if a
parsing error is encountered.
<LI CLASS="li-itemize"><B>January 11, 2005</B>: <B>Released version 1.3.2</B>
<LI CLASS="li-itemize"><B>January 11, 2005</B>: Fixed printing of integer constants whose
integer kind is shorter than an int.
<LI CLASS="li-itemize"><B>January 11, 2005</B>: Added checks for negative size arrays and arrays
too big.
<LI CLASS="li-itemize"><B>January 10, 2005</B>: Added support for GCC attribute “volatile” for
tunctions (as a synonim for noreturn).
<LI CLASS="li-itemize"><B>January 10, 2005</B>: Improved the comparison of array sizes when
comparing array types.
<LI CLASS="li-itemize"><B>January 10, 2005</B>: Fixed handling of shell metacharacters in the
cilly command lione.
<LI CLASS="li-itemize"><B>January 10, 2005</B>: Fixed dropping of cast in initialization of
local variable with the result of a function call.
<LI CLASS="li-itemize"><B>January 10, 2005</B>: Fixed some structural comparisons that were
broken in the Ocaml 3.08.
<LI CLASS="li-itemize"><B>January 10, 2005</B>: Fixed the <TT>unrollType</TT> function to not forget
attributes.
<LI CLASS="li-itemize"><B>January 10, 2005</B>: Better keeping track of locations of function
prototypes and definitions.
<LI CLASS="li-itemize"><B>January 10, 2005</B>: Fixed bug with the expansion of enumeration
constants in attributes.
<LI CLASS="li-itemize"><B>October 18, 2004</B>: Fixed a bug in cabsvisit.ml. CIl would wrap a
BLOCK around a single atom unnecessarily.
<LI CLASS="li-itemize"><B>August 7, 2004</B>: <B>Released version 1.3.1</B>
<LI CLASS="li-itemize"><B>August 4, 2004</B>: Fixed a bug in splitting of structs using
<TT>--dosimplify</TT>
<LI CLASS="li-itemize"><B>July 29, 2004</B>: Minor changes to the type typeSig (type signatures)
to ensure that they do not contain types, so that you can do structural
comparison without danger of nontermination.
<LI CLASS="li-itemize"><B>July 28, 2004</B>: Ocaml version 3.08 is required. Numerous small
changes while porting to Ocaml 3.08.
<LI CLASS="li-itemize"><B>July 7, 2004</B>: <B>Released version 1.2.6</B>
<LI CLASS="li-itemize"><B>July 2, 2004</B>: Character constants such as <TT>'c'</TT> should
have type <TT>int</TT>, not <TT>char</TT>. Added a utility function
<TT>Cil.charConstToInt</TT> that sign-extends chars greater than 128, if needed.
<LI CLASS="li-itemize"><B>July 2, 2004</B>: Fixed a bug that was casting values to int
before applying the logical negation operator !. This caused
problems for floats, and for integer types bigger than <TT>int</TT>.
<LI CLASS="li-itemize"><B>June 13, 2004</B>: Added the field <TT>sallstmts</TT> to a function
description, to hold all statements in the function.
<LI CLASS="li-itemize"><B>June 13, 2004</B>: Added new extensions for data flow analyses, and
for computing dominators.
<LI CLASS="li-itemize"><B>June 10, 2004</B>: Force initialization of CIL at the start of
Cabs2cil.
<LI CLASS="li-itemize"><B>June 9, 2004</B>: Added support for GCC <TT>__attribute_used__</TT>
<LI CLASS="li-itemize"><B>April 7, 2004</B>: <B>Released version 1.2.5</B>
<LI CLASS="li-itemize"><B>April 7, 2004</B>: Allow now to run ./configure CC=cl and set the MSVC
compiler to be the default. The MSVC driver will now select the default name
of the .exe file like the CL compiler.
<LI CLASS="li-itemize"><B>April 7, 2004</B>: Fixed a bug in the driver. The temporary files are
deleted by the Perl script before the CL compiler gets to them?
<LI CLASS="li-itemize"><B>April 7, 2004</B>: Added the - form of arguments to the MSVC driver.
<LI CLASS="li-itemize"><B>April 7, 2004</B>: Added a few more GCC-specific string escapes, (, [,
{, %, E.
<LI CLASS="li-itemize"><B>April 7, 2004</B>: Fixed bug with continuation lines in MSVC.
<LI CLASS="li-itemize"><B>April 6, 2004</B>: Fixed embarassing bug in the parser: the precedence
of casts and unary operators was switched.
<LI CLASS="li-itemize"><B>April 5, 2004</B>: Fixed a bug involving statements mixed between
declarations containing initializers. Now we make sure that the initializers
are run in the proper order with respect to the statements.
<LI CLASS="li-itemize"><B>April 5, 2004</B>: Fixed a bug in the merger. The merger was keeping
separate alpha renaming talbes (namespaces) for variables and types. This
means that it might end up with a type and a variable named the same way, if
they come from different files, which breaks an important CIL invariant.
<LI CLASS="li-itemize"><B>March 11, 2004</B> : Fixed a bug in the Cil.copyFunction function. The
new local variables were not getting fresh IDs.
<LI CLASS="li-itemize"><B>March 5, 2004</B>: Fixed a bug in the handling of static function
prototypes in a block scope. They used to be renamed. Now we just consider
them global.
<LI CLASS="li-itemize"><B>February 20, 2004</B>: <B>Released version 1.2.4</B>
<LI CLASS="li-itemize"><B>February 15, 2004</B>: Changed the parser to allow extra semicolons
after field declarations.
<LI CLASS="li-itemize"><B>February 14, 2004</B>: Changed the Errormsg functions: error, unimp,
bug to not raise an exception. Instead they just set Errormsg.hadErrors.
<LI CLASS="li-itemize"><B>February 13, 2004</B>: Change the parsing of attributes to recognize
enumeration constants.
<LI CLASS="li-itemize"><B>February 10, 2004</B>: In some versions of <TT>gcc</TT> the identifier
_{thread is an identifier and in others it is a keyword. Added code
during configuration to detect which is the case.
<LI CLASS="li-itemize"><B>January 7, 2004</B>: <B>Released version 1.2.3</B>
<LI CLASS="li-itemize"><B>January 7, 2004</B>: Changed the alpha renamer to be less
conservative. It will remember all versions of a name that were seen and will
only create a new name if we have not seen one.
<LI CLASS="li-itemize"><B>December 30, 2003</B> : Extended the <TT>cilly</TT> command to understand
better linker command options <TT>-lfoo</TT>.
<LI CLASS="li-itemize"><B>December 5, 2003</B>: Added markup commands to the pretty-printer
module. Also, changed the “@<” left-flush command into “@''.
<LI CLASS="li-itemize"><B>December 4, 2003</B>: Wide string literals are now handled
directly by Cil (rather than being exploded into arrays). This is
apparently handy for Microsoft Device Driver APIs that use intrinsic
functions that require literal constant wide-string arguments.
<LI CLASS="li-itemize"><B>December 3, 2003</B>: Added support for structured exception handling
extensions for the Microsoft compilers.
<LI CLASS="li-itemize"><B>December 1, 2003</B>: Fixed a Makefile bug in the generation of the
Cil library (e.g., <TT>cil.cma</TT>) that was causing it to be unusable. Thanks
to KEvin Millikin for pointing out this bug.
<LI CLASS="li-itemize"><B>November 26, 2003</B>: Added support for linkage specifications
(extern “C”).
<LI CLASS="li-itemize"><B>November 26, 2003</B>: Added the ocamlutil directory to contain some
utilities shared with other projects.
<LI CLASS="li-itemize"><B>November 25, 2003</B>: <B>Released version 1.2.2</B>
<LI CLASS="li-itemize"><B>November 24, 2003</B>: Fixed a bug that allowed a static local to
conflict with a global with the same name that is declared later in the
file.
<LI CLASS="li-itemize"><B>November 24, 2003</B>: Removed the <TT>--keep</TT> option of the <TT>cilly</TT>
driver and replaced it with <TT>--save-temps</TT>.
<LI CLASS="li-itemize"><B>November 24, 2003</B>: Added printing of what CIL features are being
run.
<LI CLASS="li-itemize"><B>November 24, 2003</B>: Fixed a bug that resulted in attributes being
dropped for integer types.
<LI CLASS="li-itemize"><B>November 11, 2003</B>: Fixed a bug in the visitor for enumeration
definitions.
<LI CLASS="li-itemize"><B>October 24, 2003</B>: Fixed a problem in the configuration script. It
was not recognizing the Ocaml version number for beta versions.
<LI CLASS="li-itemize"><B>October 15, 2003</B>: Fixed a problem in version 1.2.1 that was
preventing compilation on OCaml 3.04.
<LI CLASS="li-itemize"><B>September 17, 2003: Released version 1.2.1.</B>
<LI CLASS="li-itemize"><B>September 7, 2003</B>: Redesigned the interface for choosing
<TT>#line</TT> directive printing styles. Cil.printLn and
Cil.printLnComment have been merged into Cil.lineDirectiveStyle.
<LI CLASS="li-itemize"><B>August 8, 2003</B>: Do not silently pad out functions calls with
arguments to match the prototype.
<LI CLASS="li-itemize"><B>August 1, 2003</B>: A variety of fixes suggested by Steve Chamberlain:
initializers for externs, prohibit float literals in enum, initializers for
unsized arrays were not working always, an overflow problem in Ocaml, changed
the processing of attributes before struct specifiers<BR>
<BR>
<LI CLASS="li-itemize"><B>July 14, 2003</B>: Add basic support for GCC's "__thread" storage
qualifier. If given, it will appear as a "thread" attribute at the top of the
type of the declared object. Treatment is very similar to "__declspec(...)"
in MSVC<BR>
<BR>
<LI CLASS="li-itemize"><B>July 8, 2003</B>: Fixed some of the __alignof computations. Fixed
bug in the designated initializers for arrays (Array.get error).
<LI CLASS="li-itemize"><B>July 8, 2003</B>: Fixed infinite loop bug (Stack Overflow) in the
visitor for __alignof.
<LI CLASS="li-itemize"><B>July 8, 2003</B>: Fixed bug in the conversion to CIL. A function or
array argument of
the GCC __typeof() was being converted to pointer type. Instead, it should
be left alone, just like for sizeof.
<LI CLASS="li-itemize"><B>July 7, 2003</B>: New Escape module provides utility functions
for escaping characters and strings in accordance with C lexical
rules.<BR>
<BR>
<LI CLASS="li-itemize"><B>July 2, 2003</B>: Relax CIL's rules for when two enumeration types are
considered compatible. Previously CIL considered two enums to be compatible if
they were the same enum. Now we follow the C99 standard.<BR>
<BR>
<LI CLASS="li-itemize"><B>June 28, 2003</B>: In the Formatparse module, Eric Haugh found and
fixed a bug in the handling of lvalues of the form “lv->field.more”.<BR>
<BR>
<LI CLASS="li-itemize"><B>June 28, 2003</B>: Extended the handling of gcc command lines
arguments in the Perl scripts. <BR>
<BR>
<LI CLASS="li-itemize"><B>June 23, 2003</B>: In Rmtmps module, simplified the API for
customizing the root set. Clients may supply a predicate that
returns true for each root global. Modifying various
“<TT>referenced</TT>” fields directly is no longer supported.<BR>
<BR>
<LI CLASS="li-itemize"><B>June 17, 2003</B>: Reimplement internal utility routine
<TT>Cil.escape_char</TT>. Faster and better. <BR>
<BR>
<LI CLASS="li-itemize"><B>June 14, 2003</B>: Implemented support for <TT>__attribute__s</TT>
appearing between "struct" and the struct tag name (also for unions and
enums), since gcc supports this as documented in section 4.30 of the gcc
(2.95.3) manual<BR>
<BR>
<LI CLASS="li-itemize"><B>May 30, 2003</B>: Released the regression tests.
<LI CLASS="li-itemize"><B>May 28, 2003</B>: <B>Released version 1.1.2</B>
<LI CLASS="li-itemize"><B>May 26, 2003</B>: Add the <TT>simplify</TT> module that compiles CIL
expressions into simpler expressions, similar to those that appear in a
3-address intermediate language.
<LI CLASS="li-itemize"><B>May 26, 2003</B>: Various fixes and improvements to the pointer
analysis modules.
<LI CLASS="li-itemize"><B>May 26, 2003</B>: Added optional consistency checking for
transformations.
<LI CLASS="li-itemize"><B>May 25, 2003</B>: Added configuration support for big endian machines.
Now <A HREF="api/Cil.html#VALlittle_endian">Cil.little_endian</A> can be used to test whether the machine is
little endian or not.
<LI CLASS="li-itemize"><B>May 22, 2003</B>: Fixed a bug in the handling of inline functions. The
CIL merger used to turn these functions into “static”, which is incorrect.
<LI CLASS="li-itemize"><B>May 22, 2003</B>: Expanded the CIL consistency checker to verify
undesired sharing relationships between data structures.
<LI CLASS="li-itemize"><B>May 22, 2003</B>: Fixed bug in the <TT>oneret</TT> CIL module: it was
mishandling certain labeled return statements.
<LI CLASS="li-itemize"><B>May 5, 2003</B>: <B>Released version 1.0.11</B>
<LI CLASS="li-itemize"><B>May 5, 2003</B>: OS X (powerpc/darwin) support for CIL. Special
thanks to Jeff Foster, Andy Begel and Tim Leek.
<LI CLASS="li-itemize"><B>April 30, 2003</B>: Better description of how to use CIL for your
analysis.
<LI CLASS="li-itemize"><B>April 28, 2003</B>: Fixed a bug with <TT>--dooneRet</TT> and
<TT>--doheapify</TT>. Thanks, Manos Renieris.
<LI CLASS="li-itemize"><B>April 16, 2003</B>: Reworked management of
temporary/intermediate output files in Perl driver scripts. Default
behavior is now to remove all such files. To keep intermediate
files, use one of the following existing flags:
<UL CLASS="itemize"><LI CLASS="li-itemize">
<TT>--keepmerged</TT> for the single-file merge of all sources
<LI CLASS="li-itemize"><TT>--keep=<<I>dir</I></TT><TT>></TT> for various other CIL and
CCured output files
<LI CLASS="li-itemize"><TT>--save-temps</TT> for various gcc intermediate files; MSVC
has no equivalent option
</UL>
As part of this change, some intermediate files have changed their
names slightly so that new suffixes are always preceded by a
period. For example, CCured output that used to appear in
“<TT>foocured.c</TT>” now appears in “<TT>foo.cured.c</TT>”.
<LI CLASS="li-itemize"><B>April 7, 2003</B>: Changed the representation of the <A HREF="api/Cil.html#VALGVar">Cil.GVar</A>
global constructor. Now it is possible to update the initializer without
reconstructing the global (which in turn it would require reconstructing the
list of globals that make up a program). We did this because it is often
tempting to use <A HREF="api/Cil.html#VALvisitCilFileSameGlobals">Cil.visitCilFileSameGlobals</A> and the <A HREF="api/Cil.html#VALGVar">Cil.GVar</A>
was the only global that could not be updated in place.
<LI CLASS="li-itemize"><B>April 6, 2003</B>: Reimplemented parts of the cilly.pl script to make
it more robust in the presence of complex compiler arguments.
<LI CLASS="li-itemize"><B>March 10, 2003</B>: <B>Released version 1.0.9</B>
<LI CLASS="li-itemize"><B>March 10, 2003</B>: Unified and documented a large number of CIL
Library Modules: oneret, simplemem, makecfg, heapify, stackguard, partial.
Also documented the main client interface for the pointer analysis.
<LI CLASS="li-itemize"><B>February 18, 2003</B>: Fixed a bug in logwrites that was causing it
to produce invalid C code on writes to bitfields. Thanks, David Park.
<LI CLASS="li-itemize"><B>February 15, 2003</B>: <B>Released version 1.0.8</B>
<LI CLASS="li-itemize"><B>February 15, 2003</B>: PDF versions of the manual and API are
available for those who would like to print them out.
<LI CLASS="li-itemize"><B>February 14, 2003</B>: CIL now comes bundled with alias analyses.
<LI CLASS="li-itemize"><B>February 11, 2003</B>: Added support for adding/removing options from
<TT>./configure</TT>.
<LI CLASS="li-itemize"><B>February 3, 2003</B>: <B>Released version 1.0.7</B>
<LI CLASS="li-itemize"><B>February 1, 2003</B>: Some bug fixes in the handling of variable
argument functions in new versions of <TT>gcc</TT> And <TT>glibc</TT>.
<LI CLASS="li-itemize"><B>January 29, 2003</B>: Added the logical AND and OR operators.
Exapanded the translation to CIL to handle more complicated initializers
(including those that contain logical operators).
<LI CLASS="li-itemize"><B>January 28, 2003</B>: <B>Released version 1.0.6</B>
<LI CLASS="li-itemize"><B>January 28, 2003</B>: Added support for the new handling of
variable-argument functions in new versions of <TT>glibc</TT>.
<LI CLASS="li-itemize"><B>January 19, 2003</B>: Added support for declarations in interpreted
constructors. Relaxed the semantics of the patterns for variables.
<LI CLASS="li-itemize"><B>January 17, 2003</B>: Added built-in prototypes for the gcc built-in
functions. Changed the <TT>pGlobal</TT> method in the printers to print the
carriage return as well.
<LI CLASS="li-itemize"><B>January 9, 2003</B>: Reworked lexer and parser's strategy for
tracking source file names and line numbers to more closely match
typical native compiler behavior. The visible CIL interface is
unchanged.
<LI CLASS="li-itemize"><B>January 9, 2003</B>: Changed the interface to the alpha convertor. Now
you can pass a list where it will record undo information that you can use to
revert the changes that it makes to the scope tables.
<LI CLASS="li-itemize"><B>January 6, 2003</B>: <B>Released version 1.0.5</B>
<LI CLASS="li-itemize"><B>January 4, 2003</B>: Changed the interface for the Formatcil module.
Now the placeholders in the pattern have names. Also expanded the
documentation of the Formatcil module.
Now the placeholders in the pattern have names.
<LI CLASS="li-itemize"><B>January 3, 2003</B>: Extended the <TT>rmtmps</TT> module to also remove
unused labels that are generated in the conversion to CIL. This reduces the
number of warnings that you get from <TT>cgcc</TT> afterwards.
<LI CLASS="li-itemize"><B>December 17, 2002</B>: Fixed a few bugs in CIL related to the
representation of string literals. The standard says that a string literal
is an array. In CIL, a string literal has type pointer to character. This is
Ok, except as an argument of sizeof. To support this exception, we have
added to CIL the expression constructor SizeOfStr. This allowed us to fix
bugs with computing <TT>sizeof("foo bar")</TT> and <TT>sizeof((char*)"foo bar")</TT>
(the former is 8 and the latter is 4).<BR>
<BR>
<LI CLASS="li-itemize"><B>December 8, 2002</B>: Fixed a few bugs in the lexer and parser
relating to hex and octal escapes in string literals. Also fixed
the dependencies between the lexer and parser.
<LI CLASS="li-itemize"><B>December 5, 2002</B>: Fixed visitor bugs that were causing
some attributes not to be visited and some queued instructions to be
dropped.
<LI CLASS="li-itemize"><B>December 3, 2002</B>: Added a transformation to catch stack
overflows. Fixed the heapify transformation.
<LI CLASS="li-itemize"><B>October 14, 2002</B>: CIL is now available under the BSD license
(see the License section or the file LICENSE). <B>Released version 1.0.4</B>
<LI CLASS="li-itemize"><B>October 9, 2002</B>: More FreeBSD configuration changes, support
for the GCC-ims <TT>__signed</TT> and <TT>__volatile</TT>. Thanks to Axel
Simon for pointing out these problems. <B>Released version 1.0.3</B>
<LI CLASS="li-itemize"><B>October 8, 2002</B>: FreeBSD configuration and porting fixes.
Thanks to Axel Simon for pointing out these problems.
<LI CLASS="li-itemize"><B>September 10, 2002</B>: Fixed bug in conversion to CIL. Now we drop
all “const” qualifiers from the types of locals, even from the fields of
local structures or elements of arrays.
<LI CLASS="li-itemize"><B>September 7, 2002</B>: Extended visitor interface to distinguish visitng
offsets inside lvalues from offsets inside initializer lists.
<LI CLASS="li-itemize"><B>September 7, 2002</B>: <B>Released version 1.0.1</B>
<LI CLASS="li-itemize"><B>September 6, 2002</B>: Extended the patcher with the <TT>ateof</TT> flag.
<LI CLASS="li-itemize"><B>September 4, 2002</B>: Fixed bug in the elaboration to CIL. In some
cases constant folding of <TT>||</TT> and <TT>&&</TT> was computed wrong.
<LI CLASS="li-itemize"><B>September 3, 2002</B>: Fixed the merger documentation.
<LI CLASS="li-itemize"><B>August 29, 2002</B>: <B>Released version 1.0.0.</B>
<LI CLASS="li-itemize"><B>August 29, 2002</B>: Started numbering versions with a major nubmer,
minor and revisions. Released version 1.0.0.
<LI CLASS="li-itemize"><B>August 25, 2002</B>: Fixed the implementation of the unique
identifiers for global variables and composites. Now those identifiers are
globally unique.
<LI CLASS="li-itemize"><B>August 24, 2002</B>: Added to the machine-dependent configuration the
<TT>sizeofvoid</TT>. It is 1 on gcc and 0 on MSVC. Extended the implementation of
<TT>Cil.bitsSizeOf</TT> to handle this (it was previously returning an error when
trying to compute the size of <TT>void</TT>).
<LI CLASS="li-itemize"><B>August 24, 2002</B>: Changed the representation of structure and
unions to distinguish between undefined structures and those that are defined
to be empty (allowed on gcc). The sizeof operator is undefined for the former
and returns 0 for the latter.
<LI CLASS="li-itemize"><B>August 22, 2002</B>: Apply a patch from Richard H. Y. to support
FreeBSD installations. Thanks, Richard!
<LI CLASS="li-itemize"><B>August 12, 2002</B>: Fixed a bug in the translation of wide-character
strings. Now this translation matches that of the underlying compiler. Changed
the implementation of the compiler dependencies.
<LI CLASS="li-itemize"><B>May 25, 2002</B>: Added interpreted constructors and destructors.
<LI CLASS="li-itemize"><B>May 17, 2002</B>: Changed the representation of functions to move the
“inline” information to the varinfo. This way we can print the “inline”
even in declarations which is what gcc does.
<LI CLASS="li-itemize"><B>May 15, 2002</B>: Changed the visitor for initializers to make two
tail-recursive passes (the second is a <TT>List.rev</TT> and only done if one of
the initializers change). This prevents <TT>Stack_Overflow</TT> for large
initializers. Also improved the processing of initializers when converting to
CIL.
<LI CLASS="li-itemize"><B>May 15, 2002</B>: Changed the front-end to allow the use of <TT>MSVC</TT>
mode even on machines that do not have MSVC. The machine-dependent parameters
for GCC will be used in that case.
<LI CLASS="li-itemize"><B>May 11, 2002</B>: Changed the representation of formals in function
types. Now the function type is purely functional.
<LI CLASS="li-itemize"><B>May 4, 2002</B>: Added the function
<A HREF="api/Cil.html#VALvisitCilFileSameGlobals">Cil.visitCilFileSameGlobals</A> and changed <A HREF="api/Cil.html#VALvisitCilFile">Cil.visitCilFile</A> to be
tail recursive. This prevents stack overflow on huge files.
<LI CLASS="li-itemize"><B>February 28, 2002</B>: Changed the significance of the
<TT>CompoundInit</TT> in <A HREF="api/Cil.html#TYPEinit">Cil.init</A> to allow for missing initializers at the
end of an array initializer. Added the API function
<A HREF="api/Cil.html#VALfoldLeftCompoundAll">Cil.foldLeftCompoundAll</A>.
</UL>
<HR>
<A HREF="cil019.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="ciltoc.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
</BODY>
</HTML>
|
