Lines Matching refs:val1
1260 char *val1 = NULL;
1275 val1 = pdb->p_bool_val_to_name[curr->bool - 1];
1277 len = strlen(val1) + 2 + 1;
1284 rlen = snprintf(new_val, len, "(%s)", val1);
1306 val1 = stack_pop(stack);
1316 val1 = stack_pop(stack);
1320 if (val1 == NULL || val2 == NULL) {
1331 len = strlen(val1) + strlen(val2) + strlen(op) + (num_params * 1) + 2 + 1;
1339 rlen = snprintf(new_val, len, "(%s %s%s%s)", op, val1, sep, val2);
1346 free(val1);
1348 val1 = NULL;
1366 val1 = stack_pop(stack);
1367 if (val1 == NULL || stack_peek(stack) != NULL) {
1373 cil_println(indent, "(%s %s", type, val1);
1374 free(val1);
1375 val1 = NULL;
1381 free(val1);
1384 while ((val1 = stack_pop(stack)) != NULL) {
1385 free(val1);
1716 char *val1 = NULL;
1855 val1 = stack_pop(stack);
1865 val1 = stack_pop(stack);
1869 if (val1 == NULL || val2 == NULL) {
1880 len = strlen(val1) + strlen(val2) + strlen(op) + (num_params * 1) + 2 + 1;
1888 rlen = snprintf(new_val, len, "(%s %s%s%s)", op, val1, sep, val2);
1895 free(val1);
1897 val1 = NULL;
1927 free(val1);
1930 while ((val1 = stack_pop(stack)) != NULL) {
1931 free(val1);