* [devel] странная проблема с gcc?
@ 2024-05-20 20:37 Vladislav Zavjalov
2024-05-20 21:11 ` Ivan A. Melnikov
2024-05-20 21:13 ` Dmitry V. Levin
0 siblings, 2 replies; 6+ messages in thread
From: Vladislav Zavjalov @ 2024-05-20 20:37 UTC (permalink / raw)
To: devel
Всем привет!
Локализовал какую-то странную проблему в 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;
}
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [devel] странная проблема с gcc?
2024-05-20 20:37 [devel] странная проблема с gcc? Vladislav Zavjalov
@ 2024-05-20 21:11 ` Ivan A. Melnikov
2024-05-20 21:31 ` Vladislav Zavjalov
2024-05-21 16:49 ` Andrey Savchenko
2024-05-20 21:13 ` Dmitry V. Levin
1 sibling, 2 replies; 6+ messages in thread
From: Ivan A. Melnikov @ 2024-05-20 21:11 UTC (permalink / raw)
To: ALT Linux Team development discussions
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.
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [devel] странная проблема с gcc?
2024-05-20 20:37 [devel] странная проблема с gcc? Vladislav Zavjalov
2024-05-20 21:11 ` Ivan A. Melnikov
@ 2024-05-20 21:13 ` Dmitry V. Levin
1 sibling, 0 replies; 6+ messages in thread
From: Dmitry V. Levin @ 2024-05-20 21:13 UTC (permalink / raw)
To: devel
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
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [devel] странная проблема с gcc?
2024-05-20 21:11 ` Ivan A. Melnikov
@ 2024-05-20 21:31 ` Vladislav Zavjalov
2024-05-21 16:49 ` Andrey Savchenko
1 sibling, 0 replies; 6+ messages in thread
From: Vladislav Zavjalov @ 2024-05-20 21:31 UTC (permalink / raw)
To: ALT Linux Team development discussions
On Tue, May 21, 2024 at 01:11:42AM +0400, Ivan A. Melnikov wrote:
> Это неопределённое поведение (UB), вызванное нарушением strict
> aliasing rules. Так делать не надо, но если очень хочется,
> (осторожно: учу плохому) добавьте `-fno-strict-aliasing`
> к ключам компилятора.
>
> А вообще про strict aliasing почитайте, полезное.
Спасибо!
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [devel] странная проблема с gcc?
2024-05-20 21:11 ` Ivan A. Melnikov
2024-05-20 21:31 ` Vladislav Zavjalov
@ 2024-05-21 16:49 ` Andrey Savchenko
2024-05-21 17:06 ` Vladislav Zavjalov
1 sibling, 1 reply; 6+ messages in thread
From: Andrey Savchenko @ 2024-05-21 16:49 UTC (permalink / raw)
To: ALT Linux Team development discussions
[-- 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 --]
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [devel] странная проблема с gcc?
2024-05-21 16:49 ` Andrey Savchenko
@ 2024-05-21 17:06 ` Vladislav Zavjalov
0 siblings, 0 replies; 6+ messages in thread
From: Vladislav Zavjalov @ 2024-05-21 17:06 UTC (permalink / raw)
To: ALT Linux Team development discussions
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, наоборот, выставить, чтобы компилятор ловил
такие вещи. Просто у меня тут была явная дырка в знаниях и явная
проблема, в которой хотелось разобраться.
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2024-05-21 17:06 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-05-20 20:37 [devel] странная проблема с gcc? Vladislav Zavjalov
2024-05-20 21:11 ` Ivan A. Melnikov
2024-05-20 21:31 ` Vladislav Zavjalov
2024-05-21 16:49 ` Andrey Savchenko
2024-05-21 17:06 ` Vladislav Zavjalov
2024-05-20 21:13 ` Dmitry V. Levin
ALT Linux Team development discussions
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://lore.altlinux.org/devel/0 devel/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 devel devel/ http://lore.altlinux.org/devel \
devel@altlinux.org devel@altlinux.ru devel@lists.altlinux.org devel@lists.altlinux.ru devel@linux.iplabs.ru mandrake-russian@linuxteam.iplabs.ru sisyphus@linuxteam.iplabs.ru
public-inbox-index devel
Example config snippet for mirrors.
Newsgroup available over NNTP:
nntp://lore.altlinux.org/org.altlinux.lists.devel
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git