Method propagateFrom

libsolidity/analysis/ControlFlowAnalyzer.cpp:74–84

Propagate the information from another node to this node. To be used to propagate information from a node to its exit nodes. Returns true, if new variables were added and thus the current node has to be traversed again.

		/// Returns true, if new variables were added and thus the current node has
		/// to be traversed again.
		bool propagateFrom(NodeInfo const& _entryNode)
		{
			size_t previousUnassignedVariablesAtEntry = unassignedVariablesAtEntry.size();
			size_t previousUninitializedVariableAccesses = uninitializedVariableAccesses.size();
			unassignedVariablesAtEntry += _entryNode.unassignedVariablesAtExit;
			uninitializedVariableAccesses += _entryNode.uninitializedVariableAccesses;
			return
				unassignedVariablesAtEntry.size() > previousUnassignedVariablesAtEntry ||
				uninitializedVariableAccesses.size() > previousUninitializedVariableAccesses
			;
		}
	};
	std::map<CFGNode const*, NodeInfo> nodeInfos;
	std::set<CFGNode const*> nodesToTraverse;