alloc_compare_state
struct smatch_state *alloc_compare_state(
true_state = alloc_compare_state(
false_state = alloc_compare_state(
false_state = alloc_compare_state(
true_state = alloc_compare_state(
false_state = alloc_compare_state(
state = alloc_compare_state(
state = alloc_compare_state(
return alloc_compare_state(data->left, data->left_var, data->left_vsl,
clone->state = alloc_compare_state(data->left, data->left_var, data->left_vsl,
alloc_compare_state(data->left, data->left_var, data->left_vsl,
return alloc_compare_state(
state = alloc_compare_state(
new = alloc_compare_state(
new = alloc_compare_state(
new = alloc_compare_state(
new = alloc_compare_state(
new = alloc_compare_state(
new = alloc_compare_state(
state = alloc_compare_state(NULL, left_name, left_vsl, comparison, NULL, right_name, right_vsl);