Bug: GCC warns about breaking strict-aliasing rules for 32-bit builds

Aperta

#1,568 aperta il 15/4/2026 2 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà: 3/5
Tempo stimato: 1-2 giorni
Idoneità per principianti: 55/100

Tipo di issue: Bug
Chiarezza: Abbastanza chiara
Stato di attività: Tranquilla
Stack tecnologico: cmake, cpp
Ambito: compilers, operating-systems

Direzione di ricerca

Inizia con i CMakeLists.txt e test.cpp forniti, compilando l’esempio riproducibile x86 Release con GCC 14.2. Esamina gli avvisi strict-aliasing segnalati in winrt/base.h e winrt/Windows.Foundation.h, incluso il ramo _WIN64 per confronto. Il lavoro è concluso quando l’esempio viene compilato senza questi avvisi, preservando il comportamento esistente.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

Version

v2.0.250303.1

Summary

When I build my project for x86 (32-bit) with GCC 14.2.0 (MSYS2) in release mode, I get warnings dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing] for winrt/base.h:

[...]winrt/base.h: In member function 'void winrt::impl::factory_cach
e_entry_base::clear()':
[...]winrt/base.h:6357:86: warning: dereferencing type-punned pointer
 will break strict-aliasing rules [-Wstrict-aliasing]
 6357 |             int64_t const result = _InterlockedCompareExchange64((int64_t*)this, 0, *(int64_
t*)&current_value);
[...]winrt/base.h:6359:28: warning: dereferencing type-punned pointer
 will break strict-aliasing rules [-Wstrict-aliasing]
 6359 |             if (result == *(int64_t*)&current_value)
[...]winrt/Windows.Foundation.h:173:43: warning: dereferencing type-p
unned pointer will break strict-aliasing rules [-Wstrict-aliasing]
  173 |             auto const _winrt_abi_type = *(abi_t<winrt::Windows::Foundation::IAsyncInfo>**)&
_winrt_casted_result;
[...]winrt/Windows.Foundation.h:2498:102: warning: dereferencing type
-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
 2498 |             (*this)(*reinterpret_cast<winrt::Windows::Foundation::IAsyncAction const*>(&asyn
cInfo), *reinterpret_cast<winrt::Windows::Foundation::AsyncStatus const*>(&asyncStatus));

The problematic code in base.h is:

#if defined _WIN64
#if defined(__GNUC__)
            bool exchanged = __sync_bool_compare_and_swap((__int128*)this, *(__int128*)&current_value, (__int128)0);
#else
            bool exchanged = 1 == _InterlockedCompareExchange128((int64_t*)this, 0, 0, (int64_t*)&current_value);
#endif
            if (exchanged)
            {
                pointer_value->Release();
            }
#else
            int64_t const result = _InterlockedCompareExchange64((int64_t*)this, 0, *(int64_t*)&current_value);

            if (result == *(int64_t*)&current_value)
            {
                pointer_value->Release();
            }
#endif

Unlike base.h, the problematic code from Windows.Foundation.h doesn't seem to be architecture-specific (no _WIN64 and other macros).

Reproducible example

Save the following CMakeLists.txt and test.cpp to the same directory and run:

cmake -DCMAKE_BUILD_TYPE=Release -DWINRT_INCLUDE_DIR=<your-path-here> -B build
cmake --build build

CMakeLists.txt:

cmake_minimum_required(VERSION 3.22)

project(test)

add_executable(test test.cpp)

set_target_properties(
    test PROPERTIES
    CXX_STANDARD 20
    CXX_STANDARD_REQUIRED YES
    CXX_EXTENSIONS NO)

if(CMAKE_CXX_COMPILER_ID STREQUAL "GNU"
        OR CMAKE_CXX_COMPILER_ID MATCHES "Clang")
    target_compile_options(test PRIVATE -Wall -Wextra -pedantic)
endif()

target_include_directories(test PRIVATE "${WINRT_INCLUDE_DIR}")

target_link_libraries(test PRIVATE windowsapp)

test.cpp

#include <winrt/base.h>
#include <winrt/Windows.ApplicationModel.h>
#include <winrt/Windows.Foundation.h>


using namespace winrt::Windows::ApplicationModel;


int main()
{
    auto startupTask = StartupTask::GetAsync(L"id").get();
}

The full output in my case is:

[1/2] Building CXX object CMakeFiles/test.dir/test.cpp.obj
In file included from [...]/test/test.cpp:1:
[...]/include/winrt/base.h: In member function 'void winrt::impl::factory_cach
e_entry_base::clear()':
[...]/include/winrt/base.h:6357:86: warning: dereferencing type-punned pointer
 will break strict-aliasing rules [-Wstrict-aliasing]
 6357 |             int64_t const result = _InterlockedCompareExchange64((int64_t*)this, 0, *(int64_
t*)&current_value);
      |                                                                                      ^~~~~~~
~~~~~~~~~~~~~~~~~
[...]/include/winrt/base.h:6359:28: warning: dereferencing type-punned pointer
 will break strict-aliasing rules [-Wstrict-aliasing]
 6359 |             if (result == *(int64_t*)&current_value)
      |                            ^~~~~~~~~~~~~~~~~~~~~~~~
In file included from [...]/test/test.cpp:3:
[...]/include/winrt/Windows.Foundation.h: In instantiation of 'auto winrt::imp
l::consume_Windows_Foundation_IAsyncInfo<D>::Status() const [with D = winrt::Windows::Foundation::IA
syncAction]':
[...]/include/winrt/Windows.Foundation.h:5133:35:   required from 'auto winrt:
:impl::wait_get(const Async&) [with Async = winrt::Windows::Foundation::IAsyncAction]'
 5133 |         auto status = async.Status();
      |                       ~~~~~~~~~~~~^~
[...]/include/winrt/Windows.Foundation.h:5261:23:   required from here
 5261 |         impl::wait_get(static_cast<Windows::Foundation::IAsyncAction const&>(static_cast<D c
onst&>(*this)));
      |         ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~~~~~~~~~~~~~~
[...]/include/winrt/Windows.Foundation.h:173:43: warning: dereferencing type-p
unned pointer will break strict-aliasing rules [-Wstrict-aliasing]
  173 |             auto const _winrt_abi_type = *(abi_t<winrt::Windows::Foundation::IAsyncInfo>**)&
_winrt_casted_result;
      |                                           ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~~~~~~~~~~~~~~~~~~~
[...]/include/winrt/Windows.Foundation.h: In instantiation of 'auto winrt::imp
l::consume_Windows_Foundation_IAsyncInfo<D>::Status() const [with D = winrt::Windows::Foundation::IA
syncOperation<winrt::Windows::ApplicationModel::StartupTask>]':
[...]/include/winrt/Windows.Foundation.h:5133:35:   required from 'auto winrt:
:impl::wait_get(const Async&) [with Async = winrt::Windows::Foundation::IAsyncOperation<winrt::Windo
ws::ApplicationModel::StartupTask>]'
 5133 |         auto status = async.Status();
      |                       ~~~~~~~~~~~~^~
[...]/include/winrt/Windows.Foundation.h:5272:30:   required from 'auto winrt:
:impl::consume_Windows_Foundation_IAsyncOperation<D, TResult>::get() const [with D = winrt::Windows:
:Foundation::IAsyncOperation<winrt::Windows::ApplicationModel::StartupTask>; TResult = winrt::Window
s::ApplicationModel::StartupTask]'
 5272 |         return impl::wait_get(static_cast<Windows::Foundation::IAsyncOperation<TResult> cons
t&>(static_cast<D const&>(*this)));
      |                ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[...]/test/test.cpp:11:56:   required from here
   11 |     auto startupTask = StartupTask::GetAsync(L"id").get();
      |                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~
[...]/include/winrt/Windows.Foundation.h:173:43: warning: dereferencing type-p
unned pointer will break strict-aliasing rules [-Wstrict-aliasing]
  173 |             auto const _winrt_abi_type = *(abi_t<winrt::Windows::Foundation::IAsyncInfo>**)&
_winrt_casted_result;
      |                                           ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~~~~~~~~~~~~~~~~~~~
[...]/include/winrt/Windows.Foundation.h: In instantiation of 'int32_t winrt::
impl::delegate<winrt::Windows::Foundation::AsyncOperationCompletedHandler<TResult>, H>::Invoke(void*
, int32_t) [with H = winrt::impl::wait_for_completed<winrt::Windows::Foundation::IAsyncOperation<win
rt::Windows::ApplicationModel::StartupTask> >(const winrt::Windows::Foundation::IAsyncOperation<winr
t::Windows::ApplicationModel::StartupTask>&, uint32_t)::shared_type; TResult = winrt::Windows::Appli
cationModel::StartupTask; int32_t = int]':
[...]/include/winrt/Windows.Foundation.h:2529:27:   required from here
 2529 |         int32_t __stdcall Invoke(void* asyncInfo, int32_t asyncStatus) noexcept final try
      |                           ^~~~~~
[...]/include/winrt/Windows.Foundation.h:2531:114: warning: dereferencing type
-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
 2531 |             (*this)(*reinterpret_cast<winrt::Windows::Foundation::IAsyncOperation<TResult> c
onst*>(&asyncInfo), *reinterpret_cast<winrt::Windows::Foundation::AsyncStatus const*>(&asyncStatus))
;
      |
                     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[...]/include/winrt/Windows.Foundation.h: In instantiation of 'int32_t winrt::
impl::delegate<winrt::Windows::Foundation::AsyncActionCompletedHandler, H>::Invoke(void*, int32_t) [
with H = winrt::impl::wait_for_completed<winrt::Windows::Foundation::IAsyncAction>(const winrt::Wind
ows::Foundation::IAsyncAction&, uint32_t)::shared_type; int32_t = int]':
[...]/include/winrt/Windows.Foundation.h:2496:27:   required from here
 2496 |         int32_t __stdcall Invoke(void* asyncInfo, int32_t asyncStatus) noexcept final try
      |                           ^~~~~~
[...]/include/winrt/Windows.Foundation.h:2498:102: warning: dereferencing type
-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]
 2498 |             (*this)(*reinterpret_cast<winrt::Windows::Foundation::IAsyncAction const*>(&asyn
cInfo), *reinterpret_cast<winrt::Windows::Foundation::AsyncStatus const*>(&asyncStatus));
      |
         ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[2/2] Linking CXX executable test.exe

Expected behavior

No response

Actual behavior

No response

Additional comments

I haven't tried compiling for 64 bit, but it's possible that similar warnings would appear in that case (in particular, the code in base.h intended for _WIN64 uses similar pointer dereferencing).

Lingua principale: C++
Stelle: 1.9k
Fork: 281
Metriche di merge delle PR: Nessuna PR unita negli ultimi 30g

Guida per i contributori

Apri la guida per i contributori

Come iniziare

Leggi tutta la issue e poi la guida ai contributi del progetto.
Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
Fai un fork del repository e lavora su un branch.
Apri una pull request che faccia riferimento al numero della issue.

Altre issue di microsoft/cppwinrt

Bug: CppWinRTCopyWinMDToOutputDirectory: Outputs mismatch when merged WinMD name differs from RootNamespace Aperta

Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100

microsoft/cppwinrt#1554 · 2 commenti · Aperta il 23/3/2026
base_macros.h disables warnings without push/pop, leaking them into consumer translation units Aperta

Difficoltà 1/5 Meno di un'ora Idoneità per principianti 20/100

microsoft/cppwinrt#1624 · Aperta il 1/9/2026
Bug: headers cannot be compiled at high warning levels (MSVC /Wall, clang) Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

microsoft/cppwinrt#1620 · 1 commento · Aperta il 1/9/2026
Bug: should_originate_on_cancel does not cancel certain awaiters or duplicated actions. Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

microsoft/cppwinrt#1617 · Aperta il 14/8/2026
Bug: Spurious IntelliSense errors with C++20 Modules Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100

microsoft/cppwinrt#1610 · 3 commenti · 2 reazioni · Aperta il 23/7/2026

Tutte le issue di microsoft/cppwinrt

Issue simili

[Bug] Desktop: DataChannel onBufferedAmountLow / onBufferedAmountChange never fires — missing C++ OnBufferedAmountChange override Aperta

Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100

flutter-webrtc/flutter-webrtc#2206 · Aperta il 24/9/2026
litertlm-android AAR ships no consumer ProGuard rules → "mid == null" SIGABRT in minified apps Aperta

Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100

google-ai-edge/LiteRT-LM#3739 · Aperta il 24/9/2026
[GLib] Rename run-end encoded array values accessor to physical_values Aperta

Component: GLib

Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100

apache/arrow#51479 · Aperta il 24/9/2026
[Windows] Renderer crash (STATUS_BREAKPOINT) with font-palette override-colors on COLR web fonts: new[]/delete mismatch in Skia DWriteFontTypeface Aperta

Difficoltà 2/5 1-3 ore Idoneità per principianti 65/100

brave/brave-browser#59300 · Aperta il 24/9/2026
Mute ydb/tests/functional/dstool/test_canonical_requests.py.Test.test_group_take_snapshot in main Aperta

ai_reviewed

Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100

ydb-platform/ydb#53974 · 3 commenti · Aperta il 24/9/2026

Altre issue su C++