Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_math.c57 RL_HARD, enumerator
389 (implied == RL_EXACT || implied == RL_HARD || implied == RL_FUZZY)) in handle_subtract_rl()
535 if (implied == RL_EXACT || implied == RL_HARD) in handle_right_shift()
568 if (implied == RL_EXACT || implied == RL_HARD) in handle_left_shift()
719 if (implied != RL_HARD || estate_has_hard_max(state)) { in handle_binop_rl()
1026 case RL_HARD: in handle_variable()
1031 if (implied == RL_HARD) in handle_variable()
1041 if (implied == RL_HARD && !estate_has_hard_max(state)) in handle_variable()
1176 if (implied == RL_HARD || implied == RL_FUZZY) in handle_strlen()
1240 if (implied == RL_EXACT || implied == RL_HARD) in handle_call_rl()
[all …]