fix spurious undefined behavior in getaddrinfo
authorRich Felker <dalias@aerifal.cx>
Wed, 20 Feb 2019 22:58:21 +0000 (17:58 -0500)
committerRich Felker <dalias@aerifal.cx>
Wed, 20 Feb 2019 22:58:21 +0000 (17:58 -0500)
addressing &out[k].sa was arguably undefined, despite &out[k] being
defined the slot one past the end of an array, since the member access
.sa is intervening between the [] operator and the & operator.

src/network/getaddrinfo.c

index 209970adf8e62f2bb2d0c493a9ae912d9c7d5e17..efaab306828e847deecbb26751dc7cb8a4c90e2e 100644 (file)
@@ -113,8 +113,8 @@ int getaddrinfo(const char *restrict host, const char *restrict serv, const stru
                                ? sizeof(struct sockaddr_in)
                                : sizeof(struct sockaddr_in6),
                        .ai_addr = (void *)&out[k].sa,
-                       .ai_canonname = outcanon,
-                       .ai_next = &out[k+1].ai };
+                       .ai_canonname = outcanon };
+               if (k) out[k-1].ai.ai_next = &out[k].ai;
                switch (addrs[i].family) {
                case AF_INET:
                        out[k].sa.sin.sin_family = AF_INET;
@@ -130,7 +130,6 @@ int getaddrinfo(const char *restrict host, const char *restrict serv, const stru
                }
        }
        out[0].ref = nais;
-       out[nais-1].ai.ai_next = 0;
        *res = &out->ai;
        return 0;
 }