a) Construct control flow graph for the below code

b) list the dominators and immediate post-dominators for each statement.

c) Prove that a statement has only one immediate post-dominator.

1. if (a1) 2. return; 3. while (a2) { 4. if (a3) 5. break; 6. if (a4) { 7. b1; 8. } else { 9. b2; 10. continue; 11. } 12. b3; 13. } 14. if (a5 || 15. a6) { 16. b4; 17. }