Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_implied.c1206 int orig_final_pass = final_pass; in assume() local
1212 final_pass = orig_final_pass; in assume()