Skip to content

Latest commit

 

History

History
233 lines (163 loc) · 9.92 KB

CHANGELOG.md

File metadata and controls

233 lines (163 loc) · 9.92 KB
Raw

Changelog

The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

[0.8.0] - 2020-03-14

Added

  • A new PreProcessorBuilder API has been exposed. This API allows you to construct a preprocessor without passing in every option explicitly, which gives a much more stable API (PreProcessor::new changes its signature regularly).

Changed

  • @pythondude325 has written a crate (hexponent) for parsing hexadecimal floats! This crate has replaced hexf. As a result, rcc no longer panics on 0x.000000000000000000102.

  • rcc now exports the codespan library. If you need to use it downstream, you can use the version exported by rcc. This is of special importance because the PreProcessor takes a FileId defined by codespan.

  • rcc no longer errors on the following code (#311):

static int f();
int f();
  • The LexError::Generic field has been removed. All lex errors now have a specific cause that can be inspected at runtime. Future errors will also have a specific cause.

Fixed

  • The lexer no longer goes into an infinite loop on // without a following newline at the end of a file (#323)
  • @Byter09 fixed a crash on array sizes that overflowed (#327)

[0.7.0] - 2020-03-06

Added

  • rcc now has a Just-In-Time compiler (JIT)! This feature is turned off by default as it adds a dependency on cranelift-simplejit. To use it, add features = ["jit"] to your Cargo.toml. As a side effect, rcc now has proper benchmarks using in-memory compilation to avoid noise from IO. A giant thank you to @playx for implementing this!

  • The -I flag has been implemented. No more will you have to play silly games with symbolic links! (See --help for a full description)

  • There is now a .github/report-issue.sh script in case you report issues a lot. See CONTRIBUTING.md for more details as well as how to use it.

Changed

  • The long-neglected README has been updated to reflect the currently implemented features and TODOs.

Fixed

  • rcc no longer crashes on structs where the size without padding is not a multiple of the alignment (#278. Thanks to @repnop for fixing this!
  • rcc no longer crashes on many unary operators in a row (#329)
  • The README proclaims support for 1.37, but the preprocessor in 0.6 used features from 1.40. This release rewrote those changes in a way that's backwards-compatible with 1.37. Merges to master have now been gated on the 1.37 build succeeding to avoid accidents like this in the future.
  • More cycle detection has been implemented (#293). For example, the following code no longer goes into an infinite loop:
// from real code in <signal.h> !!
#define sa_handler   __sa_handler.sa_handler
#define sa_sigaction __sa_handler.sa_sigaction
int main() {
    struct sigaction handler;
    handler.sa_handler = 0;
}

However, function macros which expand to themselves will still loop forever (#312).

  • *p; now gives a warning that the type of p defaults to int *. Thank you to @repnop for implementing this.

[0.6.0] - 2020-02-25

Added

  • The preprocessor is working! It now supports
    • #include directives
    • #define directives, including function macros and cycle detection for object macros. Cycle detection for function macros is not implemented.
    • #warning and #error directives
    • #if defined(var) and #elif See jyn514#5 for a full list, including directives that aren't implemented.
  • The -E option is also implemented. However, it doesn't include any newlines, so it's a little hard to read.
  • Hex and octal character escapes ('\x01'). The null character escape is no longer special cased and is simply an octal escape.
  • Added predefined macros for the host architecture and OS, as well as a few __STDC*__ defines.
  • Static data is now stored using .bss where possible. This avoids crashes on int a[0xffffffff];

Changed

  • Many fewer structs and functions are public. This allows removing unused code and also shouldn't affect library users since the exposed API wasn't particularly useful for anything except the parser.
  • Errors now look like <file>:2:1 error: instead of <stdin>:2:1: error:
  • Files must now end with a newline. Files not ending with a newline are a compile error (according to C11 they are undefined behavior: 5.1.1.2)
  • rcc will now panic instead of calling std::process::exit if an unrecoverable error occurs during codegen.
  • Most dependencies (notably, excluding Cranelift) have been made optional to make rcc easier to use as a library.
  • The top-level API looks significantly different. It now requires a FileId and a Files struct to allow for multiple files to be #included. The Opt struct has also been made part of the library instead of the binary.

Fixed

  • Fixed crash on switch (1) { case 1: case 1: }
  • Fixed crash on void f() { int f; } int main() { f(); }
  • Fixed crash on _Noreturn
  • Fixed many of the bugs with seen_line_token, so this is no longer incorrectly marked as an error:
#define a "b"
#define c "d"

Removed

  • The CppError::Generic variant has been removed in favor of specific error variants.

[0.5.0] - 2020-02-07

Added

  • This release contains the start of a preprocessor. It is in very early stages and will crash on any inputs other than #if, #else, #ifdef, and #endif. I recommend using your host preprocessor until this one is further along.

  • Added an error limit. Instead of overwhelming you with dozens of errors in a file with a misplaced {, rcc will now report at most 10 errors in one run. This can be configured with --max-errors n, see rcc --help for more details.

  • Added a recursion limit. Now, rcc will exit with an error instead of crashing on highly nested inputs (200+ parenthesis in a row).

Changed

  • Fold char expressions, such as '1' - '0'
  • Display characters properly in error messages (e.g. '1' instead of 49)
  • Various additional CompileErrors have been added. This allows inspecting the type of an error dynamically instead of having to blindly display the string.
  • The Compile API now takes an Opt struct instead of 4 different parameters. This should make it easier to add more options in the future.
  • Use Graham's name in the 'authors' field instead of his username

Fixed

This release fixed many bugs found by honggzfuzz. Thank you to @Byter09 for helping me get it set up as well as lending me CPU time for the fuzz runs!

  • Fix crash on nested functions (int f() { int g() {} })
  • Fix crash on assignments other than identifiers and pointers (e.g. ++A[1])
  • Fix many crashes in constant folding. A giant thank you to @pythondude325 for redesigning and implementing the new interpreter!
  • Fix crash on return in a do-while loop
  • Fix crash on int f(void, void), and int f(void, i)
  • Fix crash on using typedefs in an expression context (typedef int i; int j = i;)
  • Fix crash on label in switch without braces
  • Fix crash on !void
  • Fix crash on (int)void
  • Fix crash on invalid syntax in an if statement (if (1) {} else else)
  • Fix crash on !(_Bool)1)
  • Fix crash on using invalid structs in an expression
  • Fix crash on signed overflow when incrementing the counter used for enum constants (e.g. enum { A = -1u, B })
  • Fix crash on invalid break after switch
  • Fix crash on aggregate initializers with misleading braces (int a[][3] = {1,2,3};). rcc now properly initializes this as int a[1][3] = {{1,2,3}};.
  • Fix crash on unterminated string at the end of a file

And the non-crash fixes:

  • Don't allow taking the address of register variables
  • Don't allow assigning to const variables
  • Remove backslashes before newlines

[0.4.0] - 2020-01-18

Added

  • Add spans and pretty-printing for errors. Now you actually know where the error is coming from!
  • impl PartialOrd for Location

Changed

  • The Parser::new() API is now simpler and yet harder to use. The Lexer::first_token() API has been added to make up for it.
  • Redo errors again, hopefully for the last time
  • Updated to Cranelift 0.54

Fixed

Removed

  • Removed unnecessary dependency on hexf; now we only use hexf_parse

[0.3.0] - 2020-01-10

Changed

  • Change lots of error internals to make it an enum instead of a String

Fixed

  • Fix pretty printing for exotic keywords (_Noreturn, ...)
  • Fix incorrect description of arithmetic shift

Added

  • Make linking work on Windows, thanks to cranelift-object
  • Add instructions for building on Windows
  • Parse (and discard) inline keyword
  • Parse (and discard) bitfields
  • Implement pointers to character literals (jyn514#146)

[0.2.0] - 2019-12-06

Added

  • struct initializers
  • struct assignment
  • [static n] in function parameters

Changed

  • Require union initializers to have a surrounding {}

Fixed

[0.1.0] - 2019-11-29

Initial publish to crates.io