--- layout: fc_discuss_archives title: Message 110 from Frama-C-discuss on February 2012 ---
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