Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dlinearize.c1115 static pseudo_t linearize_load_gen(struct entrypoint *ep, struct access_data *ad) in linearize_load_gen() function
1138 value = linearize_load_gen(ep, &ad); in linearize_access()
1151 old = linearize_load_gen(ep, &ad); in linearize_inc_dec()
1458 pseudo_t oldvalue = linearize_load_gen(ep, &ad); in linearize_assignment()