package mopsa
Module Common.Scope_update
Utility functions for updating the scope due to jump statements
val update_scope :
Lang.Ast.c_scope_update ->
Mopsa_utils.Core.Location.range ->
('a, 'b) MopsaLib.man ->
'a Core.Flow.flow ->
'a Mopsa_analyzer.MopsaLib.Post.post