1. 06 Jan, 2019 3 commits
    • Sergio Costas's avatar
      Updated to version 0.9 · 438e2560
      Sergio Costas authored
    • Sergio Costas's avatar
      Added preliminar support for statements in expressions · 02cdd9f6
      Sergio Costas authored
      A GNU extension used in several headers is to have statements or
      declarations in an expression. An example is:
         a = ({ int y = foo(); if (y>1) y = 7;});
      This patch adds preliminary support for this. It only avoids the
      "syntax error" error, but the block is never executed. Thus this
      extension must not be used in the code to be checked, only is allowed
      in the headers, in definitions never used in the true code.
      This is useful for FreeRTOS, which has several of these in their
      headers, thus allowing to check code for this operating system.
    • Sergio Costas's avatar
      Added support for _Static_assert · 7a91af0d
      Sergio Costas authored
  2. 25 Dec, 2018 4 commits
  3. 24 Dec, 2018 1 commit
    • Sergio Costas's avatar
      Doesn't return an error when returning NULL as borrowed · 3d3712c0
      Sergio Costas authored
      Until now, if the return value is marked as __crust_borrow__, crust
      shown an error saying that a non-borrowed value is being returned.
      This patch fixes this, because it is obvious that it must be possible
      to return NULL in these cases.
  4. 03 Oct, 2018 2 commits
  5. 01 Oct, 2018 2 commits
  6. 26 Sep, 2018 2 commits
    • Sergio Costas's avatar
      Updated version number · 26fa406c
      Sergio Costas authored
    • Sergio Costas's avatar
      Don't allow to have functions with empty parameters · e2da88ed
      Sergio Costas authored
      C doesn't check that calls to functions without parameters honors the
      signature. Thus, it is possible to call a function defined as
      void function() {...
      with several parameters, or assign it to a pointer to function with any
      type and number of parameters, and the compiler won't complain. To avoid
      this, it is mandatory to put "void" inside the parameter list; so the
      previous function must be written as:
      void function(void) {...
      This allows the compiler to detect illegal usages and assignments.
  7. 08 Sep, 2018 1 commit
  8. 25 Aug, 2018 2 commits
  9. 24 Aug, 2018 1 commit
  10. 23 Aug, 2018 9 commits
  11. 15 Aug, 2018 5 commits
  12. 04 Aug, 2018 7 commits
  13. 27 Jul, 2018 1 commit