Compilers: Not Just GNU
Here, at the Compiler's Laboratory of UFMG, we've been trying to understand the meaning of incomplete C code. How well can a parser reason about a source when declarations (or complete headers) are missing? In the C language, challenges appear already during parsing, since, not only syntax, but also semantic information (possibly absent) is required. Yet, the really cool challenges emerge when we want to reconstruct a partial program into a complete one that passes the type-checker.
The GCC 7 mainline code-base hit the important milestone today of having zero P1 regressions -- issues of the highest priority -- and as such they branched the GCC7 code-base and GCC 7.1 RC1 is then being announced later this week as they prepare for this first stable release of GCC 7.