alloc_compare_size

199

sm = set_state_expr(size_id, pointer, alloc_compare_size(limit_type, size));

238

tmp = set_state_expr(size_id, pointer, alloc_compare_size(limit_type, arg));

632

tmp = set_state_expr(size_id, array_expr, alloc_compare_size(limit_type, size_expr));

655

tmp = set_state_expr(size_id, array_expr, alloc_compare_size(limit_type, size_expr));

717

tmp = set_state_expr(size_id, array, alloc_compare_size(limit_type, offset->unop));

755

tmp = set_state_expr(size_id, array, alloc_compare_size(limit_type, expr->left));