Skip to content
Commit dec48a50 authored by Zhongxing Xu's avatar Zhongxing Xu
Browse files

Create ElementRegion when the base is SymbolicRegion. This is like what we do

for FieldRegion. This enables us to track more values.

Simplify SymbolicRegion::getRValueType(). We assume the symbol always has
pointer type.

llvm-svn: 63928
parent 8811ecda
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment