[devel] странная проблема с gcc?

[devel] странная проблема с gcc?

[Vladislav Zavjalov]

Всем привет!

Локализовал какую-то странную проблему в C коде,
не понимаю, это проблема с моим пониманием С или с компилятором.

Код ниже: число печатается кусочками по два байта.
Это перестает работать при компиляции с -O2 или -O3.

Воспроизводится с
gcc version 13.2.1 20240128 (ALT Sisyphus 13.2.1-alt3)

---

#include <stdint.h>
#include <stdio.h>

int
main(){
  uint32_t v1 = 0x12345678;
  uint32_t v2 = 0;

  for (int i=0; i<2; ++i)
    printf("%x\n", ((uint16_t*)&v1)[i]);

  return 0;
}

Re: [devel] странная проблема с gcc?

[Ivan A. Melnikov]

On Mon, May 20, 2024 at 11:37:50PM +0300, Vladislav Zavjalov wrote:
> Всем привет!
> 
> Локализовал какую-то странную проблему в C коде,
> не понимаю, это проблема с моим пониманием С или с компилятором.
> 
> Код ниже: число печатается кусочками по два байта.
> Это перестает работать при компиляции с -O2 или -O3.

Это неопределённое поведение (UB), вызванное нарушением strict
aliasing rules. Так делать не надо, но если очень хочется,
(осторожно: учу плохому) добавьте `-fno-strict-aliasing`
к ключам компилятора.

А вообще про strict aliasing почитайте, полезное.

-- 
  wbr,
    iv m.

Re: [devel] странная проблема с gcc?

[Dmitry V. Levin]

On Mon, May 20, 2024 at 11:37:50PM +0300, Vladislav Zavjalov wrote:
> Всем привет!
> 
> Локализовал какую-то странную проблему в C коде,
> не понимаю, это проблема с моим пониманием С или с компилятором.
> 
> Код ниже: число печатается кусочками по два байта.
> Это перестает работать при компиляции с -O2 или -O3.

Это -fstrict-aliasing, который включён в -O2.

$ gcc -Wall -O2 -Wstrict-aliasing=2 a.c && ./a.out
a.c: In function 'main':
a.c:9:33: warning: dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
    9 |     printf("%#x\n", ((uint16_t*)&v1)[i]);
      |                                 ^~~
a.c:6:12: warning: 'v1' is used uninitialized [-Wuninitialized]
    6 |   uint32_t v1 = 0x12345678;
      |            ^~

-- 
ldv

Re: [devel] странная проблема с gcc?

[Vladislav Zavjalov]

On Tue, May 21, 2024 at 01:11:42AM +0400, Ivan A. Melnikov wrote:
> Это неопределённое поведение (UB), вызванное нарушением strict
> aliasing rules. Так делать не надо, но если очень хочется,
> (осторожно: учу плохому) добавьте `-fno-strict-aliasing`
> к ключам компилятора.
> 
> А вообще про strict aliasing почитайте, полезное.

Спасибо!

Re: [devel] странная проблема с gcc?

[Andrey Savchenko]

[-- Attachment #1: Type: text/plain, Size: 1349 bytes --]

On Tue, 21 May 2024 01:11:42 +0400 Ivan A. Melnikov wrote:
> On Mon, May 20, 2024 at 11:37:50PM +0300, Vladislav Zavjalov wrote:
> > Всем привет!
> > 
> > Локализовал какую-то странную проблему в C коде,
> > не понимаю, это проблема с моим пониманием С или с компилятором.
> > 
> > Код ниже: число печатается кусочками по два байта.
> > Это перестает работать при компиляции с -O2 или -O3.
> 
> Это неопределённое поведение (UB), вызванное нарушением strict
> aliasing rules. Так делать не надо, но если очень хочется,
> (осторожно: учу плохому) добавьте `-fno-strict-aliasing`
> к ключам компилятора.
> 
> А вообще про strict aliasing почитайте, полезное.

Можно же union использовать, он именно для такой задачи
и создавался:

union val {
    uint32_t v32;
    uint16_t v16[2];
};

Тогда проблем со strict aliasing не будет и костыли
с -fno-strict-aliasing не нужны.

Best regards,
Andrew Savchenko

[-- Attachment #2: Type: application/pgp-signature, Size: 833 bytes --]

Re: [devel] странная проблема с gcc?

[Vladislav Zavjalov]

On Tue, May 21, 2024 at 07:49:24PM +0300, Andrey Savchenko wrote:
> Можно же union использовать, он именно для такой задачи
> и создавался:
> 
> union val {
>     uint32_t v32;
>     uint16_t v16[2];
> };
> 
> Тогда проблем со strict aliasing не будет и костыли
> с -fno-strict-aliasing не нужны.

Спасибо. Когда уже знаешь в чем проблема и какое слово гуглить,
то можно много разных способов найти, как это по-другому сделать.
А strict-aliasing, наоборот, выставить, чтобы компилятор ловил
такие вещи. Просто у меня тут была явная дырка в знаниях и явная
проблема, в которой хотелось разобраться.