+++
title = "Replacing strict dominator by use"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a8e1"]
forwardlinks = ["3a8e3"]
zettelid = "3a8e2"
+++

The strict dominator property `sdom` is a weaker precondition to the
`use` property, which determines when a variable is being used, which
implies that it has to be strictly dominated by the assignment. This is
because to use a variable, it must have been assigned beforehand, which
in SSA means it has to have been a strict dominator in the control-flow
graph.