github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 08:54:07 +03:00
Code Issues Projects Releases Wiki Activity

Bind and look names up in an Env.

Browse Source
This commit is contained in:
Rob Rix 2019-07-22 11:23:59 -04:00
parent fea81ee213
commit 6c5240bfba
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 4 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
semantic-core/src/Analysis/Concrete.hs
View File

@ -83,10 +83,12 @@ runFile :: ( Carrier sig m
runFile file = traverse run file
where run = runReader (fileLoc file)
. runFailWithLoc
. runReader (mempty :: Env)
. fix (eval concreteAnalysis)
concreteAnalysis :: ( Carrier sig m
, Member Fresh sig
, Member (Reader Env) sig
, Member (Reader Loc) sig
, Member (Reader FrameId) sig
, Member (State Heap) sig
@ -95,12 +97,8 @@ concreteAnalysis :: ( Carrier sig m
=> Analysis Precise Concrete m
concreteAnalysis = Analysis{..}
where alloc _ = fresh
bind name addr m = modifyCurrentFrame (updateFrameSlots (Map.insert name addr)) >> m
lookupEnv n = do
FrameId frameAddr <- ask
val <- deref frameAddr
heap <- get
pure (val >>= lookupConcrete heap n)
bind name addr m = local (Map.insert name addr) m
lookupEnv n = asks (Map.lookup n)
deref = gets . IntMap.lookup
assign addr value = modify (IntMap.insert addr value)
abstract _ name body = do
@ -136,13 +134,6 @@ concreteAnalysis = Analysis{..}
heap <- get
pure (val >>= lookupConcrete heap n)
updateFrameSlots f frame = frame { frameSlots = f (frameSlots frame) }
modifyCurrentFrame f = do
addr <- asks unFrameId
Just (Obj frame) <- deref addr
assign addr (Obj (f frame))
-- FIXME: follow super edges
lookupConcrete :: Heap -> User -> Concrete -> Maybe Precise