🚀 go-pugleaf

W dniu wtorek, 13 sierpnia 2019 18:08:20 UTC+2 użytkownik PawelS pawel(at)wbcd(dot)pl napisał:
> Maciek Godek pisze:
> > W dniu niedziela, 11 sierpnia 2019 20:12:34 UTC+2 użytkownik PawelS pawel(at)wbcd(dot)pl napisał:
> >> Maciek Godek pisze:
> >>> W dniu wtorek, 6 sierpnia 2019 14:02:33 UTC+2 użytkownik Queequeg napisał:
> >>> To ważne, bo ani -Wall ani nawet -Wextra w GCC nie wyłapie czegoś takiego:
> >>>
> >>> uint32_t f() {
> >>>   return JAKAŚ_DUŻA_WARTOŚĆ;
> >>> }
> >>>
> >>> uint16_t x = f();
> >>>
> >>> (co uważam że jest skandaliczne i byłem w szoku jak to odkryłem. Zresztą nadal jestem w szoku)
> >> A to ciekawe, bo bez żadnych opcji gcc zgłasza ostrzeżenie:
> >>
> >> gcc -v
> >> ------
> >> gcc version 4.1.2 20080704 (Red Hat 4.1.2-44)
> >>
> >> test.c
> >> ------
> >> #include <stdint.h>
> >> uint32_t f() {
> >>          return 0xffffffffffff;
> >> }
> >> int main() {
> >>          uint16_t x = f();
> >>          return 0;
> >> }
> >>
> >> gcc -o test test.c
> >> ------------------
> >> test.c: In function 'f':
> >> test.c:3: warning: integer constant is too large for 'long' type
> >> test.c:3: warning: large integer implicitly truncated to unsigned type
> > 
> > W tym przykładzie zgłasza błąd konwersji stałej. Zamiast tego spróbuj np.
> > 
> > #include <stdint.h>
> > uint32_t f(uint32_t x) {
> >   return x*x;
> > }
> > int main(int argc, char *argv[]) {
> >          uint16_t x = f(argc);
> >          return 0;
> > }
> > 
> > U mnie na telefonie (gcc 6) jest milczenie, choć typ zmiennej ewidentnie się nie zgadza z typem funkcji.
> > (Dopiero -Wconversion pomaga)
> 
> gcc -o test test.c
> ------------------
> 
> gcc -o test test.c -Wconversion
> -------------------------------
> test.c: In function ‘main’:
> test.c:6: warning: passing argument 1 of ‘f’ as unsigned due to prototype
> 
> > choć typ zmiennej ewidentnie się nie zgadza z typem funkcji.
> /usr/include/stdint.h
> typedef unsigned int        uint32_t;

Nie o ten fragment mi chodzi, tylko o przypisanie wartości funkcji do zmiennej.

Może wyraźniej to będzie widoczne tutaj:

#include <stdint.h>
uint32_t f(int32_t x) {
    return x*x;
}

int main(int32_t argc, char *argv[]) {
    (void) argv;
    uint16_t x = f(argc);
    return x;
}

Jak kompilujesz z -Wall -Wextra to cisza. Jak dodasz -Wconversion, to masz

x.c: In function ‘f’:
x.c:3:13: warning: conversion to ‘uint32_t {aka unsigned int}’ from ‘int32_t {aka int}’ may change the sign of the result [-Wsign-conversion]
     return x*x;
            ~^~
x.c: In function ‘main’:
x.c:8:18: warning: conversion to ‘uint16_t {aka short unsigned int}’ from ‘uint32_t {aka unsigned int}’ may alter its value [-Wconversion]
     uint16_t x = f(argc);

Chodzi mi o tego drugiego warninga. Brak takich ostrzeżeń powoduje, że bardzo poważne błędy mogą bardzo łatwo umknąć.

> Być może powinien tutaj zabrać głos ktoś bardziej kompetentny,
> ale "int" od "unsigned int" a różni się tylko znakiem,
> także moim zdaniem ewidentna niezgodność typów danych to byłoby:
> "double" vs "int", "char *" vs "int", "struct ..." vs "int",

Mi chodzi raczej o błędy w rodzaju przypisania wartości uint32_t do zmiennej typu uint16_t. Kwestia znaku też bywa istotna, ale kwestia precyzji jest ważniejsza.