Method GetExprTextInternal

lang/c/pseudoc.cpp:538–2792

void PseudoCFunction::GetExprTextInternal(const HighLevelILInstruction& instr, HighLevelILTokenEmitter& tokens,
	DisassemblySettings* settings, BNOperatorPrecedence precedence, bool statement, optional<bool> signedHint)
{
	// The lambdas in this function are here to reduce stack frame size of this function. Without them,
	// complex expression can cause the process to crash from a stack overflow.
	auto exprGuard = tokens.SetCurrentExpr(instr);

	if (settings && settings->IsOptionSet(ShowILTypes) && instr.GetType())
	{
		tokens.AppendOpenParen();
		tokens.AppendOpenParen();
		auto typeTokens = TypePrinter::GetDefault()->GetTypeTokens(
			instr.GetType(),
			GetArchitecture()->GetStandalonePlatform(),
			QualifiedName()
		);
		for (auto& token: typeTokens)
		{
			tokens.Append(token);
		}
		tokens.AppendCloseParen();
		tokens.Append(TextToken, " ");
	}
	if (settings && settings->IsOptionSet(ShowILOpcodes))
	{
		tokens.Append(OperationToken, "/*");
		tokens.Append(OperationToken, fmt::format("{}", instr.operation));
		tokens.Append(OperationToken, "*/");
		tokens.Append(TextToken, " ");
	}

	auto function = m_highLevelIL->GetFunction();
	if (instr.ast)
		tokens.PrependCollapseIndicator(function, instr);

	// ensure we claim the line address for top level instrs on a line
	if (instr.operation != HLIL_BLOCK)
		tokens.InitLine();

	switch (instr.operation)
	{
	case HLIL_BLOCK:
		[&]() {
			const auto exprs = instr.GetBlockExprs<HLIL_BLOCK>();
			bool needSeparator = false;
			for (auto i = exprs.begin(); i != exprs.end(); ++i)
			{
				// Don't show void returns at the very end of the function when printing
				// the root of an AST, as it is implicit and almost always omitted in
				// normal source code.
				auto next = i;
				++next;
				if (instr.ast && (instr.exprIndex == GetHighLevelILFunction()->GetRootExpr().exprIndex)
					&& (exprs.size() > 1) && (next == exprs.end()) && ((*i).operation == HLIL_RET)
					&& ((*i).GetSourceExprs<HLIL_RET>().size() == 0))
					continue;

				// If the statement is one that contains additional blocks of code, insert a scope separator