Searched defs:sval_ptr (Results 1 – 3 of 3) sorted by relevance
269 const svalue *sval_ptr = get_rvalue (t_ptr, ctxt); in impl_call_analyzer_dump_capacity() local
1017 const svalue *sval_ptr) in symbolic_region()
5869 const svalue *sval_ptr = model0.get_rvalue (addr_of_a, NULL); in test_state_merging() local