Skip to content

Commit

Permalink
SVF code formatter
Browse files Browse the repository at this point in the history
  • Loading branch information
yuleisui committed Dec 29, 2023
1 parent 76e4d05 commit b15ec37
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion svf/lib/MemoryModel/AccessPath.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -65,7 +65,8 @@ u32_t AccessPath::getElementNum(const SVFType* type) const
if (SVFUtil::isa<SVFArrayType, SVFStructType>(type))
{
return SymbolTableInfo::SymbolInfo()->getNumOfFlattenElements(type);
} else if (type->isPointerTy())
}
else if (type->isPointerTy())
{
// if type is a pointer, should be like:
// %2 = getelementptr inbounds i32*, i32** %1, ...
Expand Down

0 comments on commit b15ec37

Please sign in to comment.