Home
last modified time | relevance | path

Searched refs:false_op (Results 1 – 1 of 1) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_comparison.c1266 int false_op; in handle_comparison() local
1284 false_op = negate_comparison(op); in handle_comparison()
1291 false_op = SPECIAL_EQUAL; in handle_comparison()
1296 false_op = SPECIAL_EQUAL; in handle_comparison()
1325 false_op = flip_comparison(false_op); in handle_comparison()
1330 false_op = comparison_intersection(orig_comparison, false_op); in handle_comparison()
1339 false_op, in handle_comparison()
1343 update_tf_data(pre_stree, left_expr, left, left_vsl, right_expr, right, right_vsl, op, false_op); in handle_comparison()