Searched refs:expr272 (Results 1 – 1 of 1) sorted by relevance
305 Expr expr272 = vc_bvConstExprFromStr(vc, "0"); in TEST() local306 Expr expr273 = vc_bvConcatExpr(vc, expr272, expr245); in TEST()3312 vc_DeleteExpr(expr272); in TEST()