Home
last modified time | relevance | path

Searched refs:extra_sm (Results 1 – 1 of 1) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_flow.c614 struct sm_state *extra_sm = NULL; in handle_pre_loop() local
634 extra_sm = __extra_handle_canonical_loops(stmt, &stree); in handle_pre_loop()
643 if (extra_sm) in handle_pre_loop()
644 extra_sm = get_sm_state(extra_sm->owner, extra_sm->name, extra_sm->sym); in handle_pre_loop()
666 unchanged = __iterator_unchanged(extra_sm); in handle_pre_loop()
682 if (extra_sm && unchanged) in handle_pre_loop()
683 __extra_pre_loop_hook_after(extra_sm, in handle_pre_loop()