the backpatching lists and the rimal

Given the following code snippet, identify the basic blocks, construct a control flow graph $($CFG$).$

int globalvar:

void process$($int value$)\{$

int localvar;

if $($value $<mtext></mtext><mn>0</mn><mi>)</mi>$ I

throw "Negative value error";

$|$else I

for int