Dotaz: xinetd: proč socklen_t size = AF_UNIX ?

[xkucf03]

Příloha:

• int.c (7470 bytů)

Ve zdojácích xinetd jsem v souboru xinetd/int.c narazil na řádek, který nechápu:

socklen_t size = AF_UNIX ;

Proč do proměnné „velikost“ někdo přiřazuje hodnotu z číselníku AF_*? Vždyť AF_UNIX = 1 a to přece není žádná velikost, ne?

V Gitu jsem k tomu našel zprávu:

24.5.2012 int.c: fix possible uninitialized value call when socket family detection fails

Ano, inicializovat proměnnou je fajn – ale proč zrovna hodnotou AF_UNIX?

---

---

Odpovědi

[Petr Šobáň]

Protože v jiném OS může být jiná velikost?

[xkucf03]

V hlavičkovém souboru socket.h je:

/* Address families.  */
#define AF_UNSPEC	PF_UNSPEC
#define AF_LOCAL	PF_LOCAL
#define AF_UNIX		PF_UNIX
#define AF_FILE		PF_FILE
#define AF_INET		PF_INET
#define AF_AX25		PF_AX25
#define AF_IPX		PF_IPX
…

/* Protocol families.  */
#define PF_UNSPEC	0	/* Unspecified.  */
#define PF_LOCAL	1	/* Local to host (pipes and file-domain).  */
#define PF_UNIX		PF_LOCAL /* POSIX name for PF_LOCAL.  */
#define PF_FILE		PF_LOCAL /* Another non-standard name for PF_LOCAL.  */
#define PF_INET		2	/* IP protocol family.  */
#define PF_AX25		3	/* Amateur Radio AX.25.  */
#define PF_IPX		4	/* Novell Internet Protocol.  */
…

Nepřijde mi, že by ta čísla měla znamenat nějakou velikost.

[.]

Šobáň, jak vždycky, netuší o čem je řeč.

[Petr Šobáň]

A ty jseš chytrý jak rádio......

Tak mu to vysvětli!

[rastos]

Divné to je.

Vyzerá to tak, že autor sa len potreboval zbaviť warningu od kompilátora. Bolo by oveľa logickejšie, aby tam priradil nulu. Prečo to urobil - to sa budeš musieť spýtať jeho.

[Petr Šobáň]

A proč nulu? Když tam cpe 1?

[Michal Kubeček]

AF_UNIX je samozřejmě nesmysl, ta proměnná (aspoň na začátku) obsahuje délku příslušné sockaddr struktury, takže když už tam autor chtěl dát nějakou zdánlivě smysluplnou hodnotu, měl použít např. "sizeof(struct sockaddr)".

Ve skutečnosti je ale úplně jedno, jak se to inicializuje, protože pokud ten kód má mít nějaký smysl, funkce int_fail() se nebude vracet, nejspíš volá exit() nebo něco podobného. V okamžiku použití tak size vždy inicializovaná bude a ten warning je false positive.

Problém bude pravděpodobně v tom, že je int_fail() definovaná v jiném souboru a kompilátor tak neví, že se nemůže vrátit, pokud to není explicitně uvedeno v deklaraci (gcc na to má "__attribute__ ((__noreturn__))"). Nebo to řádně označeno je (případně je ta funkce inline) a jde o úlitbu starším kompilátorům, které nedokážou vyhodnotit, že proměnná bude vždy včas inicializovaná.

[debian+]

Skusil som prelozit program s upravou na:

socklen_t size;

a v pohode.

Mozno to dava warningy pri pedantnejsej kontrole kodu. A samozrejme. Bud nic alebo nula.

Napis autorovi.