;; Function f (f, funcdef_no=0, decl_uid=1745, cgraph_uid=0, symbol_order=0)

Immediate_uses:

t1_1 : --> single use.
t2_3 = x_2(D) % t1_1;

x_2(D) : --> single use.
t2_3 = x_2(D) % t1_1;

t2_3 : --> single use.
t2_4 = t2_3;

t2_4 : --> single use.
return t2_4;

.MEM_5(D) : --> single use.
# VUSE <.MEM_5(D)>
return t2_4;


Adding Destination of edge (0 -> 2) to worklist

Simulating block 2

Visiting statement:
t1_1 = 1;
which is likely CONSTANT
Lattice value changed to CONSTANT 1.  Adding SSA edges to worklist.

Visiting statement:
t2_3 = x_2(D) % t1_1;
which is likely CONSTANT
Match-and-simplified x_2(D) % t1_1 to 0
Lattice value changed to CONSTANT 0.  Adding SSA edges to worklist.

Visiting statement:
t2_4 = t2_3;
Lattice value changed to CONSTANT 0.  Adding SSA edges to worklist.

Visiting statement:
return t2_4;
No interesting values produced.  Marked VARYING.

Substituting values and folding statements

Folding statement: return t2_4;
Folded into: return 0;

Removing dead stmt t2_4 = t2_3;

Removing dead stmt t2_3 = x_2(D) % t1_1;

Removing dead stmt t1_1 = 1;

f (int x)
{
  int t2;
  int t1;

  <bb 2>:
  return 0;

}