Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Substitution in Cil_types.predicate

2012/2/27 Boris Hollas <hollas at informatik.htw-dresden.de>:
>
> But a term may have - via term_lval = term_lhost * term_offset - a
> logic_var and an offset as children. Is the term_offset copied by the
> default method of the copy visitor and references in offset to the old
> base variable (eg s in s.a) - if any - are of type logic_var and thus
> substituted by the visitor?

I'm not sure I understand exactly what you mean here. The behavior of
the generic visitor is to visit each node in order, so basically yes,
all logic_var below the starting point of the visit will be visited.

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile