In compiler theory, a reaching definition for a given instruction is another instruction, the target variable of which may reach the given instruction without an intervening assignment. For example, in the following code:
d1 : y := 3 d2 : x := yd1 is a reaching definition at d2. In the following, example, however:
d1 is no longer a reaching definition at d3, because d2 kills its reach.
Read more about Reaching Definition: As Analysis, Further Reading
Famous quotes containing the words reaching and/or definition:
“Each reaching and aspiration is an instinct with which all nature consists and cöoperates, and therefore it is not in vain. But alas! each relaxing and desperation is an instinct too. To be active, well, happy, implies courage. To be ready to fight in a duel or a battle implies desperation, or that you hold your life cheap.”
—Henry David Thoreau (1817–1862)
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)