Hello!
- What is the problem?
Infinite loop in ParserThread::SkipBlock - tokenazer infinitly expand macro.
- What did you do to when it happened?
Open next source file (attached):
cc_test.cpp
#define AA__( x ) #x
#define AA_( x ) AA__( prefix##x )
#define AA( x ) AA_( x )
#define BB 42
struct CC { int member; };
struct DD { CC cc; };
#define EE() g( AA(BB) )
#define FF (EE()->cc)
#define member FF.member
DD* g(const char*);
int f()
{
return member; // "member" expand to " (g(AA__)->cc).member" infinitly
}
- Can you reproduce it? How?
Yes. Open attached source file.
- What release of Code::Blocks are you using?
Bug reproduced in trunk after revision number 10459.
- Which was the latest release that did not have this problem?
Trunk revision 10495.
Thank you!
Thanks for the report, I can confirm this bug.
The reason I found is that, the anchor point(m_TokenIndex) when we first start macro expansion was wrongly reset, so that
"member" is expanded infinite times.
I don't have a clean way to fix this issue......
EDIT:
bool Tokenizer::ReplaceBufferText(const wxString& target, const Token* macro)
{
if (target.IsEmpty())
return true; // the token is removed from the buffer, return true, so we need to fetch another token
if (m_ExpandedMacros.size() >= s_MaxMacroReplaceDepth)
{
// clear the macro expansion stack
m_ExpandedMacros.clear();
m_PeekAvailable = false;
return true; // NOTE: we have to skip the problem token by returning true.
}
...
The problem is here, when (m_ExpandedMacros.size() >= s_MaxMacroReplaceDepth) happens, the m_ExpandedMacros stack get cleaned up, so that the "anchor point" saved in the deepest use macro is lost.