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, 24 insertions, 0 deletions

diff --git a/getting-started.c b/getting-started.c
new file mode 100644
index 0000000..ba43f92
--- /dev/null
+++ b/getting-started.c
@@ -0,0 +1,24 @@
+/* This may look like nonsense, but really is -*- mode: C -*- */
+#include <stdlib.h>                                    /*@\label{include-stdlib}*/
+#include <stdio.h>                                     /*@\label{include-stdio}*/
+
+/* The main thing that this program does. */           /*@\label{C-comment}*/
+int main(int argc, [[maybe_unused]] char* argv[argc+1]) { /*@\label{main-start}*/
+  // Declarations
+  double A[5] = {                                      /*@\label{array-declaration}*/
+    [0] = 9.0,                                         /*@\label{designated-init}*/
+    [1] = 2.9,
+    [4] = 3.E+25,                                      /*@\label{scientific-notation}*/
+    [3] = .00007,                                      /*@\label{comma-terminate}*/
+  };
+
+  // Doing some work                                   /*@\label{CPP-comment}*/
+  for (size_t i = 0; i < 5; ++i) {                     /*@\label{for-loop}*/
+     printf("element %zu is %g, \tits square is %g\n", /*@\label{printf-start}*/
+            i,
+            A[i],
+            A[i]*A[i]);                                /*@\label{printf-end}*/
+  }                                                    /*@\label{for-end}*/
+
+  return EXIT_SUCCESS;                                 /*@\label{main-return}*/
+}                                                      /*@\label{main-end}*/