Common.Quantified_offsetSourceval bound :
Mopsa.expr ->
(Stubs.Ast.quant * Mopsa.var * Stubs.Ast.set) list ->
Mopsa.expr * Mopsa.exprCompute symbolic boundaries of a quantified offset.
is_aligned o n man flow checks whether the value of an expression o is aligned w.r.t. size sz
val bound_div :
Mopsa.expr ->
Z.t ->
(Stubs.Ast.quant * Mopsa.var * Stubs.Ast.set) list ->
('a, 'b) Mopsa.man ->
'a Mopsa.Flow.flow ->
(Mopsa.expr * Mopsa.expr) Mopsa.Top.with_topCompute symbolic boundaries of offset / den