From 1ba25fa70406a790ef22481fdd218ee5057d805e Mon Sep 17 00:00:00 2001 From: Stephen Heumann Date: Thu, 30 Jan 2020 18:05:46 -0600 Subject: [PATCH] Update release notes. --- cc.notes | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/cc.notes b/cc.notes index a4fba36..d81d2bb 100644 --- a/cc.notes +++ b/cc.notes @@ -430,7 +430,7 @@ ORCA/C can now detect several elements of C syntax that were allowed in C89 but * Checking for _Noreturn functions that may return: -If #pragma lint bit 7 (a value of 128) is set, ORCA/C detects cases where it appears that a function declared as _Noreturn may return. Currently, this only detects return statements in _Noreturn functions. They also should not return by executing to the end of the function, but this is not currently detected. +If #pragma lint bit 7 (a value of 128) is set, ORCA/C detects cases where it appears that a function declared as _Noreturn may return. This detects return statements in _Noreturn functions. It also detects some (but not all) cases where a _Noreturn function could return by executing to the end of the function. (This may also report some cases where the code at the end of a _Noreturn function is not actually reachable. The error message is "lint: function declared _Noreturn can return or has unreachable code.") New Headers @@ -933,6 +933,12 @@ int foo(int[42]); 118. Unnamed bit-fields with non-zero widths were treated as taking up no space. They now take up the same space as a named bit-field of the same width would. +119. The compiler allowed non-pointer types to be dereferenced when used as an l-value. + +(Kelvin Sherlock) + +120. The # operator in macros, which makes a string literal from the tokens passed as an argument to the macro, now puts quotes around string literal tokens and inserts spaces corresponding to whitespace between tokens. + -- Bugs from C 2.1.0 that have been fixed ----------------------------------- 1. In some situations, fread() reread the first 1K or so of the file.