Consider this code:<br><br>void foo(int *p) {<br>  p[0] = 1;<br>}<br><br>Currently we evaluate p[0] to loc::SymbolVal. I want it to be <br>loc::MemRegionVal(ElementRegion(SymbolicRegion(SymbolRegionRValue(p)), 0)). But<br>
ElementRegion assumes its super region be typed. Is this assumption too strong?<br><br>-Zhongxing Xu<br>