Skip to content

Commit

Permalink
MemModel: quickfix hack for changes in gep_type_iterator behavior.
Browse files Browse the repository at this point in the history
See ongoing discussion for context:

SVF-tools#18

Mostly I'm just curious what this does to results on our programs,
this is likely not the right thing to do.
  • Loading branch information
dtzWill committed May 4, 2017
1 parent 993dbd4 commit b9e9e0c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lib/MemoryModel/MemModel.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -193,7 +193,7 @@ bool SymbolTableInfo::computeGepOffset(const llvm::User *V, LocationSet& ls) {
// Handling array types, skipe array handling here
// We treat whole array as one, then we can distinguish different field of an array of struct
// e.g. s[1].f1 is differet from s[0].f2
if(isa<ArrayType>(gi.getIndexedType()))
if(gi.isBoundedSequential())
continue;


Expand Down

0 comments on commit b9e9e0c

Please sign in to comment.