Permalink
Commits on Jun 14, 2012
Commits on Jun 12, 2012
  1. Use Question for testrun/question-fold-float

    Issue #3534428 is fixed by using the Question construct.
    kerneis committed Jun 12, 2012
  2. Introduce a Question variant for the Cil.exp type

    Elnatan Reisner committed with kerneis Oct 14, 2010
  3. Add test for question including floats

    Thanks to Ed Schwartz for the report (#3534428).
    kerneis committed Jun 12, 2012
Commits on Jun 7, 2012
  1. Add a default context for global scope

    The attached program, test/small1/scope12.c, compiles with gcc, but not cilly.
    In a function scope, a new type symbol is introduced. Then a global variable is
    introduced with the same name. Later, CIL detects references to the variable as
    references to the type instead.
    
    I managed to get CIL to proceed by adding a default context (for global
    variables), but this solution is not well tested.
    
    Closes #3532283.
    Ed Schwartz committed with kerneis Jun 6, 2012
Commits on Jun 6, 2012
  1. Check: allow (non-integer) integral types in switch/case

    This fixes a regression in the testsuite (testrun/enum2).
    kerneis committed Jun 6, 2012
  2. Explicit casting for return value of va_arg (#3463364)

    va_arg has a polymorphic return type, handled specially by CIL
    (the assigned value is encoded as a third parameter). This
    special treatment needs to be deferred until we decide whether
    to add an intermediate variable for explicit casting.
    
    Thanks to Marco Trudel for the report.
    kerneis committed Jun 6, 2012
Commits on Jun 5, 2012
  1. Avoid stack-overflow for labels in cabs2cil

    Use tail-recursive functions (bug triggered in particular
    when converting large case-ranges in switch statements).
    kerneis committed Jun 5, 2012
Commits on May 29, 2012
Commits on May 11, 2012
  1. Add GCC built-in functions __builtin_bswap32 and __builtin_bswap64,

    provided we can find the appropriate 32- and 64-bit integer types.
    liblit committed May 11, 2012
Commits on May 10, 2012
  1. Add several GCC attributes that should only be associated with functi…

    …ons:
    
    leaf, artificial, and warn_unused_result.  These are all heavily used in
    <stdio.h> under Fedora 17 (glibc 2.15) when optimization is turned on.
    Without this fix, these attributes tend to be incorrectly associated with
    functions' return types, which in turn leads to GCC warnings about
    incorrect attribute use.
    liblit committed May 10, 2012
Commits on Mar 9, 2012
  1. Fix types in switch statements (#3481303)

    "The integer promotions are performed on the controlling expression. The
    constant expression in each case label is converted to the promoted type of the
    controlling expression." (C11, 6.8.4.2 - 5)
    
    Reported by Jim Grundy and backported from Frama-C by Gabriel Kerneis.
    yakobowski committed with kerneis Feb 23, 2012
Commits on Feb 23, 2012
  1. Update configure

    kerneis committed Feb 23, 2012
  2. Added -WX flag to CFLAGS when using the MSVC compiler.

    MSVC treats type mismatches between integer types of the same size
    (different sign) as a warning, but detecting such mismatches as
    errors is how configure deduces the type of size_t and wchar_t.
    Unless you set warnings to errors with -WX configure will get these
    types wrong for MSVC.
    jim-grundy committed with kerneis Feb 23, 2012
Commits on Feb 17, 2012
  1. Preserve const in function parameters

    Thanks to Oliver Schwahn for the report.
    kerneis committed Feb 17, 2012
  2. Remove non-portable in-place sed

    kerneis committed Feb 17, 2012
  3. Avoid spurious warnings in loadBinaryFile

    Jesse M Draper committed with kerneis Nov 24, 2011
  4. Remove useless command in make clean

    Thanks to Wei Hu.
    kerneis committed Nov 24, 2011
Commits on Nov 4, 2011
  1. Merge branch 'release-1.4' into develop

    Exclude the documentation.
    kerneis committed Nov 4, 2011
  2. Regenerate doc

    kerneis committed Nov 4, 2011
  3. Regenerate configure

    kerneis committed Nov 3, 2011
  4. Update doc for release

    kerneis committed Nov 4, 2011
  5. Enhance README

    kerneis committed Nov 4, 2011
  6. Remove more useless targets

    kerneis committed Nov 4, 2011
  7. Remove debian/ directory

    kerneis committed Nov 4, 2011
  8. Remove cil.spec

    kerneis committed Nov 4, 2011
  9. Import generated doc for 1.4.0

    kerneis committed Nov 4, 2011
  10. Simplify makefile

    make dist should now be git archive.
    kerneis committed Nov 4, 2011
  11. Correct make install

    kerneis committed Nov 4, 2011
  12. Remove performance counters

    Not very useful, and a big headache for linking.
    kerneis committed Nov 4, 2011