@Override
	public void setVar(AddressSpace space, JitVal offset, int size, boolean quantize,
			JitVal val) {
		/**
		 * We use this only to log possible storage bypasses. All uniques will be bypassed.
		 * Registers must be written, but it is safe to bypass subsequent loads. Actually, perhaps
		 * with a pre-load of register values and a try-finally to write them, we can optimize
		 * register access, too. Might also make sense to do that for uniques, just for debugging
		 * purposes.
		 * 
		 * Memory must be written. Unless we can determine for sure the memory is non-volatile, we
		 * must presume volatile, so no bypassing is allowed. TODO: We might consider assuming
		 * stack-based accesses are non-volatile, but I'm not sure that is appropriate either.
		 * Technically one thread may launch another, providing a ref to a stack variable it knows
		 * will live for the entire thread's life.
		 */
		if (space.isConstantSpace()) {
			Msg.warn(this, "Witnessed write to constant space! Ignoring.");
			return;
		}
		if (!(offset instanceof JitConstVal c)) {
			// Don't attempt bypass for any indirect memory access
			return;
		}

		// NB. There should never be need to quantize in regs or uniqs.
		Varnode varnode = new Varnode(space.getAddress(c.value().longValue()), size);
		varnodesWritten.add(varnode);

		mini.set(varnode, val);
	}
{@inheritDoc}

<p>
This and {@link #getVar(AddressSpace, JitVal, int, boolean, Reason)} are where we connect the
interpretation to the maps of definitions we keep in this state. We examine the varnode's
type first. We can't write to a constant, and that shouldn't be allowed anyway, so we warn if
we observe that. We'll ignore any indirect writes, because those are denoted by
{@link JitStoreOp store} ops. We also don't do much here with direct writes. The writes to
such variables are handled by {@link JitMemoryOutVar}. Such output variables are actually
passed in as {@code val} here, but need only be stored in a map if they are register or
unique variables.
Ghidra/Framework/Emulation/src/main/java/ghidra/pcode/emu/jit/analysis/JitDataFlowState.java