private DataType getOutputDataType(PcodeOp op) {
		if (op == null) {
			return null;
		}

		Varnode output = op.getOutput();
		if (output == null) {
			// can happen when a variable in volatile memory is used in a write_volatile
			// pseudo operation
			return null;
		}

		HighVariable high = output.getHigh();
		if (high == null) {
			// not sure if this can happen; just in case
			return null;
		}

		return high.getDataType();
	}
A base class that represents a variable from the decompiler.  This is either a variable
type or a variable with an optional field access.
Ghidra/Features/DecompilerDependent/src/main/java/ghidra/app/extension/datatype/finder/DecompilerVariable.java