aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/eval
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2019-12-08 00:43:05 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2019-12-10 23:26:23 +0100
commit0d92426b4e15d7565e1a1d45cb41e06059ed2043 (patch)
tree9c78041877d62a13ddd384feea0b13e6bb23cb21 /validation/eval
parent5d02fb958506ba44d85b449bef68883c68d6ecfa (diff)
downloadsparse-dev-0d92426b4e15d7565e1a1d45cb41e06059ed2043.tar.gz
fix cost of dereference of symbols with complex type
Currently, in expand_dereference(), the dereference of a symbol with a complex type is considered as costing as high as a non-symbol because it's not recognised it's a symbol. However, both cases should have exactly the same cost since they address calculation amounts to 'symbol + offset'. So, instead of taking in account a single level of symbol + offset let's use a loop for this in order to handle symbol [+ offset]* Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/eval')
0 files changed, 0 insertions, 0 deletions