Searched refs:init_star_q (Results 1 - 1 of 1) sorted by relevance

/netbsd-current/external/gpl3/gcc/dist/gcc/analyzer/
H A Dregion-model.cc6449 const svalue *init_star_q = mgr.get_or_create_initial_value (star_q_reg); local
6454 ASSERT_TRUE (init_star_q->involves_p (q_init));
6455 ASSERT_FALSE (init_star_q->involves_p (p_init));

Completed in 113 milliseconds