Function genDeliverUnmapped

src/jrd/RecordSourceNodes.cpp:3968–4140

Make new boolean nodes from nodes that contain a field from the given shellStream. Those fields are references (mappings) to other nodes and are used by aggregates and unions.

// Make new boolean nodes from nodes that contain a field from the given shellStream.
// Those fields are references (mappings) to other nodes and are used by aggregates and unions.
static void genDeliverUnmapped(CompilerScratch* csb,
							   const BoolExprNodeStack& conjunctStack,
							   BoolExprNodeStack& deliverStack,
							   MapNode* map,
							   StreamType shellStream)
{
	MemoryPool& pool = csb->csb_pool;

	for (BoolExprNodeStack::const_iterator iter(conjunctStack); iter.hasData(); ++iter)
	{
		const auto boolean = iter.object();

		// Handle the "OR" case first

		const auto binaryNode = nodeAs<BinaryBoolNode>(boolean);
		if (binaryNode && binaryNode->blrOp == blr_or)
		{
			BoolExprNodeStack orgStack, newStack;

			orgStack.push(binaryNode->arg1);
			orgStack.push(binaryNode->arg2);

			genDeliverUnmapped(csb, orgStack, newStack, map, shellStream);

			if (newStack.getCount() == 2)
			{
				const auto newArg2 = newStack.pop();
				const auto newArg1 = newStack.pop();

				const auto newBinaryNode =
					FB_NEW_POOL(pool) BinaryBoolNode(pool, blr_or, newArg1, newArg2);

				deliverStack.push(newBinaryNode);
			}
			else
			{
				while (newStack.hasData())
					delete newStack.pop();
			}

			continue;
		}

		// Reduce to simple comparisons

		const auto cmpNode = nodeAs<ComparativeBoolNode>(boolean);
		const auto missingNode = nodeAs<MissingBoolNode>(boolean);
		const auto listNode = nodeAs<InListBoolNode>(boolean);
		HalfStaticArray<ValueExprNode*, 2> children;

		if (cmpNode &&
			(cmpNode->blrOp == blr_eql || cmpNode->blrOp == blr_equiv ||
			 cmpNode->blrOp == blr_gtr || cmpNode->blrOp == blr_geq ||
			 cmpNode->blrOp == blr_leq || cmpNode->blrOp == blr_lss ||
			 cmpNode->blrOp == blr_starting))
		{
			children.add(cmpNode->arg1);
			children.add(cmpNode->arg2);