Я тут новенький на сайте, по-этому очень прошу не удалять мой пост сразу, как это делают в англоязычном сегменте. А где ещё искать решения моей проблемы? Я сам испробовал все доступные мне пути отладки.
В моей программе имеется класс, и в нём метод. Так вот, если этот метод объявлен как __attribute__((noinline)), т.е. принудительно компилируется как обычная не встраиваемая функция, то всё работает как надо.
А вот без этого атрибута компилятор делает его по умолчанию встраиваемым (inline) и делает это похоже некорректно, т.к. приложение в определённый момент виснет.
Также всё вдруг начинает хорошо работать, если в месте вызова этого метода вставить вызов какой-нибудь ничего не значащей функции, наподобие printf() или Beep().
Подскажите пожалуйста, в чём может быть проблема? Если это я где-то напортачил, то не могу понять где. Но пока это очень похоже на баг самого компилятора, который неверно оптимизирует inline-функцию (случай редчайший и маловероятный, но всё же). Использую пакет MinGW 8.2.0 2018-го года, ранее с ним проблем никогда не было. Исходный код вместе с бинарником и bat-файлом для компиляции прилагаю тут.
Учитывая рекомендации в ответах, привожу исходный код целиком непосредственно здесь:
/*
* mingw_bug.cpp
*
* This program demonstrates the serious MinGW g++ compiler optimization BUG!
* The ISSUE: compiler does incorrectly inlining of the given method (lines 257-275).
* See the lines 131..147 and 257-275 for detailes!
* Version of the compiler: 8.2.0 (year 2018)
* Compilation command line:
* C:\MinGW\bin\g++ -c -fno-rtti -O2 -march=native mingw_bug.cpp
* C:\MinGW\bin\g++.exe -static-libstdc++ -o mingw_bug.exe mingw_bug.o
* Found by Kondryukov D.V.
*/
#include <windows.h>
#include <stdio.h>
#include <stdlib.h>
#include <math.h>
#include <assert.h>
#ifdef __GNUC__
#define INLINE __attribute__ ((always_inline)) inline
#else
#define INLINE inline
#endif //__GNUC__
#ifdef __GNUC__
#define NOINLINE __attribute__ ((noinline))
#else
#define NOINLINE inline
#endif //__GNUC__
#define TIME_INTERVAL 1.0
#define INPUT_POOL_SIZE 8
#define INPUT_KEYDOWN 0x00001000
#define INPUT_KEYUP 0x00002000
class CInput
{
struct EVENT_RECORD
{
EVENT_RECORD* pNext;
UINT uEvent;
};
HANDLE m_hIn;
EVENT_RECORD m_uEventPool[INPUT_POOL_SIZE];
EVENT_RECORD* m_pFreeEventRec;
EVENT_RECORD* m_pFirstEventRec;
public:
CInput();
void Update();
bool CheckEvent(UINT uEvent);
void FlushEvents();
};
#define INITIAL_FPS 30.0
#define MAX_TIME_DELTA 0.05
class CTimer
{
LARGE_INTEGER m_liStartCounter;
LARGE_INTEGER m_liCurrentCounter;
double m_lfInvFreq;
double m_lfTime;
float m_fTimeDelta;
bool m_bPaused;
public:
CTimer();
void Update();
void TogglePause();
INLINE double GetTime() {return m_lfTime;}
INLINE float GetTimeDelta() {return m_fTimeDelta;}
INLINE bool IsPaused() {return m_bPaused;}
};
#define MAX_COUNTER 1
class CTest
{
UINT m_uCounter;
public:
CTest();
void ToggleCounter();
};
void ExitFatal(UINT uErrorCode, const char* pszMessage);
CInput g_In;
CTimer g_Timer;
CTest g_Test;
int main()
{
double fNextTime = g_Timer.GetTime()+TIME_INTERVAL;
printf(
"This application demonstrates the MinGW g++ compiler optimization bug!\n"
"ESC - exit; SPACE - toggle timer pause; TAB - the BUG demonstration...\n");
while (true)
{
//update timer and input state
g_Timer.Update();
g_In.Update();
//check if ESCAPE was pressed for exit
if (g_In.CheckEvent(VK_ESCAPE|INPUT_KEYDOWN))
{
printf("<exiting...>>\n");
break;
}
//check if SPACE was pressed to toggle pause
if (g_In.CheckEvent(VK_SPACE|INPUT_KEYDOWN))
{
g_Timer.TogglePause();
printf("\n<toggle timer pause>\n");
}
/* The code causing compiler bug!
* If method CInput::FlushEvents() is forced to be not inline evrything works good!
* Also, If line 142 is uncommented evrything works good well!
* HOWEVER! If method CInput::FlushEvents() is INLINE (by default)...
* ...and line 142 is commented, the APPLICATION will HUNG when you will press TAB!!!
*/
if (g_In.CheckEvent(VK_TAB|INPUT_KEYDOWN))
{
g_Test.ToggleCounter();
//uncomment following line for bug hiding...
//printf("\nPress TAB again, and again... Ups!.. Where is the bug? Nothing hungs... o:)))\n"); //line 142
}
//BUG is here! The application will hung!
//But uncomment line 142 and the bug will hide!
g_In.FlushEvents();
if (g_Timer.GetTime()>=fNextTime)
{
printf("*");
fNextTime+= TIME_INTERVAL;
}
}
return 0;
}
void ExitFatal(UINT uErrorCode, const char* pszMessage)
{
printf("FATAL ERROR #%4.0X (%s), terminating!\n\n\n",uErrorCode,pszMessage);
Beep(1500,300);
Sleep(6000);
exit(1);
}
CInput::CInput()
{
m_hIn = GetStdHandle(STD_INPUT_HANDLE);
if (m_hIn==INVALID_HANDLE_VALUE) ExitFatal(0x0000,"input initialization");
if (!FlushConsoleInputBuffer(m_hIn)) ExitFatal(0x0001,"input initialization");
EVENT_RECORD* pLastRec = m_uEventPool+INPUT_POOL_SIZE-1;
EVENT_RECORD* pRec = m_uEventPool;
m_pFreeEventRec = pRec;
m_pFirstEventRec = NULL;
while(pRec<pLastRec)
{
pRec->pNext = pRec+1;
++pRec;
}
pRec->pNext = NULL;
}
void CInput::Update()
{
INPUT_RECORD ir[INPUT_POOL_SIZE];
DWORD nEvents;
while (true)
{
if (!PeekConsoleInput(m_hIn,ir,INPUT_POOL_SIZE,&nEvents)) ExitFatal(0x0002,"input peeking");
if (!nEvents) return;
if (!ReadConsoleInput(m_hIn,ir,nEvents,&nEvents)) ExitFatal(0x0003,"input reading");
INPUT_RECORD* p_ir_end = ir+nEvents;
for (INPUT_RECORD* p_ir = ir; p_ir<p_ir_end; ++p_ir)
{
switch (p_ir->EventType)
{
case KEY_EVENT:
if (m_pFreeEventRec)
{
EVENT_RECORD* pRec = m_pFreeEventRec;
m_pFreeEventRec = pRec->pNext;
pRec->pNext = m_pFirstEventRec;
m_pFirstEventRec = pRec;
pRec->uEvent = (p_ir->Event.KeyEvent.wVirtualKeyCode)&0xFFF;
if (p_ir->Event.KeyEvent.bKeyDown) pRec->uEvent|= INPUT_KEYDOWN;
else pRec->uEvent|= INPUT_KEYUP;
continue;
}
goto Flush;
}
}
}
Flush:
Beep(896,200);
if (!FlushConsoleInputBuffer(m_hIn)) ExitFatal(0x0004, "flushing input");
//force free the last event to unlock subsequent input
m_pFreeEventRec = m_pFirstEventRec;
m_pFirstEventRec = m_pFirstEventRec->pNext;
m_pFreeEventRec->pNext = NULL;
}
bool CInput::CheckEvent(UINT uEvent)
{
EVENT_RECORD* pCur = m_pFirstEventRec;
EVENT_RECORD* pPrev = (EVENT_RECORD*)&m_pFirstEventRec;
while (pCur)
{
if (pCur->uEvent==uEvent)
{
pPrev->pNext = pCur->pNext;
pCur->pNext = m_pFreeEventRec;
m_pFreeEventRec = pCur;
return true;
}
pPrev = pCur;
pCur = pCur->pNext;
}
return false;
}
/*
* This method cause to be the application hung if it is INLINE or line 142 is commented!
* It works correctly if it forced to be NOT INLINE or line 142 is uncommented
* MinGW g++ does it's optimization uncorrectly!!!
*/
NOINLINE void CInput::FlushEvents()
{
EVENT_RECORD* pCur = m_pFirstEventRec;
while (pCur)
{
EVENT_RECORD* pNext = pCur->pNext;
pCur->pNext = m_pFreeEventRec;
m_pFreeEventRec = pCur;
pCur = pNext;
}
m_pFirstEventRec = NULL;
}
CTimer::CTimer()
{
LARGE_INTEGER liFreq;
if (!QueryPerformanceFrequency(&liFreq)) ExitFatal(0x5000,"timer initialization");
if (!QueryPerformanceCounter(&m_liStartCounter)) ExitFatal(0x5001,"timer initialization");
m_liCurrentCounter = m_liStartCounter;
m_lfInvFreq = 1/((double)(liFreq.QuadPart));
m_lfTime = 0.0;
m_fTimeDelta = 1/INITIAL_FPS;
}
void CTimer::Update()
{
if (!m_bPaused)
{
if (!QueryPerformanceCounter(&m_liCurrentCounter)) ExitFatal(0x5002,"timer update");
double lfTime = ((double)(m_liCurrentCounter.QuadPart-m_liStartCounter.QuadPart))*m_lfInvFreq;
m_fTimeDelta = lfTime-m_lfTime;
if (m_fTimeDelta>MAX_TIME_DELTA) m_fTimeDelta = MAX_TIME_DELTA;
m_lfTime = lfTime;
return;
}
m_fTimeDelta = 0.0;
}
void CTimer::TogglePause()
{
LARGE_INTEGER liCounter;
if (!m_bPaused)
{
m_bPaused = true;
return;
}
if (!QueryPerformanceCounter(&liCounter)) ExitFatal(0x5003,"timer toggle pause");
m_liStartCounter.QuadPart+= liCounter.QuadPart-m_liCurrentCounter.QuadPart;
m_liCurrentCounter = liCounter;
m_bPaused = false;
}
CTest::CTest()
{
m_uCounter = 0;
}
void CTest::ToggleCounter()
{
++m_uCounter;
if (m_uCounter>MAX_COUNTER) m_uCounter = 0;
}
Полный текст программы с бинарником - по ссылке.
bool CInput::CheckEvent(UINT uEvent): как мне кажется ошибка вEVENT_RECORD* pPrev = (EVENT_RECORD*)&m_pFirstEventRec;– Maxim Timakov Apr 04 '20 at 17:08-fno-strict-aliasing– avp Apr 04 '20 at 18:24(EVENT_RECORD*)&m_pFirstEventRec;пахнет нарушением strict aliasing-а. Тогда дело таки не в компиляторе. – HolyBlackCat Apr 04 '20 at 19:52EVENT_RECORD* pPrev = std::launder((EVENT_RECORD*)&m_pFirstEventRec);. – HolyBlackCat Apr 04 '20 at 20:13launderработает? – HolyBlackCat Apr 04 '20 at 20:19launder- "магический", его нельзя реализовать самому (по крайней мере без встроенных в компилятор функций). По идее, он должен исправлять как раз такие ошибки оптимизатора - когда указатель на объект получается через одно место. – HolyBlackCat Apr 04 '20 at 20:27#include <memory>? – HolyBlackCat Apr 04 '20 at 20:35volatileв такой ситуации никак не помогает. @HolyBlackCat Иlaunderпо идее тоже, ведь динамический тип объекта же не правильный. – user7860670 Apr 04 '20 at 20:46--std=c++17– user7860670 Apr 04 '20 at 20:51