Searched defs:x_init (Results 1 – 1 of 1) sorted by relevance
4906 const svalue *x_init = model.get_rvalue (x, &ctxt); in test_initial_svalue_folding() local4925 const svalue *x_init = model.get_rvalue (x, &ctxt); in test_unaryop_svalue_folding() local5008 const svalue *x_init = model.get_rvalue (x, &ctxt); in test_binop_svalue_folding() local