While studying, I came across the following statements:
A join point is a program point where two branches meet.
Available expressions is a forward, must problem.
Forward = Data Flow from in to out.
Must = At joint point, property must hold on all paths that are joined.
I get what joint point, available expression and forward is. But I am getting what exactly is meant by MUST.
Someone please explain what MUST is with example.
Edit: Could you please relate your statement with the following example.