Conditionally expand a symbolic pointer into a pointer to a real struct. In the following code,<br><br>struct x {<br>        int partno;<br>};<br>int foo(struct x *pt)<br>{<br>        int found;<br>        if(pt->partno != 1) {<br>
                found = 0;<br>        }<br>        if(pt->partno == 1 || !found) {<br>                return 1;<br>        }<br>        return 0;<br>}<br><br>when we visit pt->partno, an AnonPointeeRegion is created lazily for pt. Moreover, only when pt is feasible not null, the region is created. This fixes PR2304.<br>