Import official C23 code examples for Modern C (Jens Gustedt, 2024)HEADupstream-importmain

- Add official C source files, Makefile, c23-fallback.h, and LICENSE
- Update README.md with study mirror notice

1 files changed, 23 insertions, 0 deletions

diff --git a/bad.c b/bad.c
new file mode 100644
index 0000000..7253662
--- /dev/null
+++ b/bad.c
@@ -0,0 +1,23 @@
+/* This may look like nonsense, but really is -*- mode: C -*- */
+
+/* The main thing that this program does. */
+void main() {
+  // Declarations
+  int i;
+  double A[5] = {
+    9.0,
+    2.9,
+    3.E+25,
+    .00007,
+  };
+
+  // Doing some work
+  for (i = 0; i < 5; ++i) {
+     printf("element %d is %g, \tits square is %g\n", /*@\label{printf-start-badly}*/
+            i,
+            A[i],
+            A[i]*A[i]);                               /*@\label{printf-end-badly}*/
+  }
+
+  return 0;                                           /*@\label{main-return-badly}*/
+}