שאלה | ההגדרה של קריטריון all-defs היא:

ההגדרה של קריטריון all-defs היא:

		For each variable x that has a global definition in node i, select a complete path which includes a loop-free path from i to A node j with a global c-use of x An edge (j, k) with a p-use of x
		For each variable x that has a definition in node i, select a complete path which includes a def-clear path from i to A node j with a global p-use of x An edge (j, k) with a p-use of x
		For each variable x that has a global definition in node i, select a complete path which includes a def-clear path from i to A node j with a global c-use of x An edge (j, k) with a global c-use of x
		For each variable x that has a global definition in node i, select a complete path which includes a def-clear path from i to A node j with a global c-use of x An edge (j, k) with a p-use of x