Changeset 520fa9e for doc/theses/mike_brooks_MMath/programs

Timestamp:

Oct 30, 2024, 11:05:29 PM (11 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

292d6cf6

Parents:

a3bd827

Message:

proofread background chapter, and other small changes

Location:

doc/theses/mike_brooks_MMath/programs

Files:

• bkgd-carray-arrty.c (modified) (2 diffs)
• bkgd-carray-decay.c (modified) (1 diff)
• bkgd-carray-mdim.c (modified) (2 diffs)

doc/theses/mike_brooks_MMath/programs/bkgd-carray-arrty.c

@@ -51 +51 @@
         void f( float (*pa)[10] ) {
                 static_assert( sizeof( *pa ) == 40 ); $\C{// array}$
-                static_assert( sizeof( pa ) == 8 );     $\C{// pointer to array}$
+                static_assert( sizeof( pa ) == 8 ); $\C{// pointer to array}$
                 static_assert( sizeof( (*pa)[0] ) == 4 ); $\C{// first element}$
                 static_assert( sizeof(&((*pa)[0])) == 8 ); $\C{// pointer to first element}$
@@ -58 +58 @@
 
         float fs@[]@ = {3.14, 1.77};
-        char cs@[]@ = "hello";    // shorthand for 'h', 'e', 'l', 'l', 'o', '\0'
+        char cs@[]@ = "hello";                                  // shorthand for { 'h', 'e', 'l', 'l', 'o', '\0' }
         static_assert( sizeof(fs) == 2 * sizeof(float) );
         static_assert( sizeof(cs) == 6 * sizeof(char) );  $\C{// 5 letters + 1 null terminator}$

doc/theses/mike_brooks_MMath/programs/bkgd-carray-decay.c

@@ -30 +30 @@
         edit( "hello" );                        $\C{// Segmentation fault [decay here]}$
 
-        void decay( float x[10] ) {
-                static_assert( sizeof(x) == sizeof(void *) );
+        void decay( @float x[10]@ ) {
+                static_assert(@sizeof(x) == sizeof(void *)@ );
         }
         static_assert( sizeof(ar) == 10 * sizeof(float) );
         decay( ar );
 
-        void no_decay( float (*px)[10] ) {
-                static_assert( sizeof(*px) == 10 * sizeof(float) );
+        void no_decay( @float (*px)[10]@ ) {
+                static_assert(@sizeof(*px) == 10 * sizeof(float)@);
         }
         static_assert( sizeof(*pa) == 10 * sizeof(float) );

doc/theses/mike_brooks_MMath/programs/bkgd-carray-mdim.c

@@ -15 +15 @@
 int main() {
         float ar[3][10];
-        static_assert(sizeof(float) == 4);                      $\C{// floats (atomic elements) are 4 bytes}$
-        static_assert(sizeof(void*) == 8);                      $\C{// pointers are 8 bytes}$
+        static_assert( sizeof(float) == 4 );    $\C{// floats (atomic elements) are 4 bytes}$
+        static_assert( sizeof(void*) == 8 );    $\C{// pointers are 8 bytes}$
 
-        static_assert(sizeof(ar) == 120);                       $\C{// the array, float[3][10]}$
-        static_assert(sizeof(ar[0]) == 40);                     $\C{// its first element, float[10]}$
-        static_assert(sizeof(ar[0][0]) == 4);           $\C{// its first grand element, float}$
+        static_assert( sizeof(ar) == 120 );             $\C{// the array, float[3][10]}$
+        static_assert( sizeof(ar[0]) == 40 );   $\C{// its first element, float[10]}$
+        static_assert( sizeof(ar[0][0]) == 4 ); $\C{// its first grand element, float}$
 
-        static_assert(sizeof(&(ar)) == 8);                      $\C{// pointer to the array, float(*)[3][10]}$
-        static_assert(sizeof(&(ar[0])) == 8);           $\C{// pointer to its first element, float(*)[10]}$
-        static_assert(sizeof(&(ar[0][0])) == 8);        $\C{// pointer to its first grand-element, float*}$
+        static_assert( sizeof(&(ar)) == 8 );    $\C{// pointer to the array, float(*)[3][10]}$
+        static_assert( sizeof(&(ar[0])) == 8 ); $\C{// pointer to its first element, float(*)[10]}$
+        static_assert( sizeof(&(ar[0][0])) == 8 );      $\C{// pointer to its first grand-element, float*}$
 
         float (*pa)[3][10] = &(ar);
@@ -30 +30 @@
         float *pa00 = &(ar[0][0]);
 
-        static_assert((void*)&ar == (void*)&(ar[0] ));
-        static_assert((void*)&ar == (void*)&(ar[0][0]));
+        static_assert( (void*)&ar == (void*)&(ar[0] ) );
+        static_assert( (void*)&ar == (void*)&(ar[0][0]) );
 
         assert( (void *) pa == (void *) pa0 );