Re: do { quit; } else { }

bart <bc@freeuk.com> writes:

On 08/04/2025 15:50, David Brown wrote:
>

On 08/04/2025 13:35, bart wrote:
>

But this need not be the case.  For example this is module A:
>
--------------------------
 #include <stdio.h>
>
 typedef struct point {float a; float b;} Point;
>
 float dist(Point);
>
 int main(void) {
 Point p = {3, 4};
 printf("%f\n", dist(p));
 }
--------------------------
>
And this is module B that defines 'dist':
>
>
--------------------------
 #include <math.h>
>
 typedef float length;
 typedef struct _tag {length x, y;} vector;
>
 length dist(vector p) {return sqrt(p.x*p.x + p.y*p.y);}
--------------------------
>
The types involved are somewhat different, but are compatible
enough for it to work.

>
The two types are entirely compatible.

>
Are they?

No, they are not.  The type names 'Point' and 'vector' name two
distinct types, and those types are not compatible, because
the two struct tags are different.

Because the two types are not compatible, even just calling the
function dist() is undefined behavior.