LINUX.ORG.RU

История изменений

Исправление kvpfs, (текущая версия) :

Санитайзер такое не найдёт, потому что это легитимный код.

Блин, ну тут даже стандарт цитировали, с точки зрения языка - код невалидный. https://godbolt.org/z/99TK95hbP.

When an evaluation of an expression writes to a memory location and another evaluation reads or modifies the same memory location, the expressions are said to conflict. A program that has two conflicting evaluations has a data race If a data race occurs, the behavior of the program is undefined.

Исходная версия kvpfs, :

Санитайзер такое не найдёт, потому что это легитимный код.
Блин, ну тут даже стандарт цитировали, с точки зрения языка - код невалидный. https://godbolt.org/z/99TK95hbP.

When an evaluation of an expression writes to a memory location and another evaluation reads or modifies the same memory location, the expressions are said to conflict. A program that has two conflicting evaluations has a data race If a data race occurs, the behavior of the program is undefined.