ref/def info for StoreInst

[hongxuchen]

Dear Mr. @jirislaby , I find that I am a bit confused with the way you are dealing with StoreInst in InsInfo, https://github.com/jirislaby/LLVMSlicer/blob/master/src/Slicing/FunctionStaticSlicer.cpp#L122

If I understand correctly, l is actually the location of the value stored and it is the 2nd argument of StoreInst. Right? Then in my opinion l's type is always PointerTy; also, since it's possible l is a GlobalVariable, more points-to info need to be taken into consideration, but you seem to check whether l hasExtraReference(which actually checks whether it is a GlobalVariable/Function/AllocaInst), however an additional getPointsToSet function is invoked otherwise(It's rational since l might be a pointer in source code; however it there a need to take GlobalVariable into consideration?). Is there any inconsistency? Thanks.

[Justme0]

I think l means left value (a pointer), r means right value.