Page MenuHomePhabricator

[analyzer][solver] Introduce reasoning for not equal to operator
AbandonedPublic

Authored by manas on Nov 29 2021, 5:04 PM.

Details

Reviewers
None
Summary

With this patch, the solver can infer results for not equal to operator
over Ranges as well. This also fixes the issue of comparison between
different types, by first converting the RangeSets to resulting type,
which then can be used for comparisons.

Diff Detail

Event Timeline

manas created this revision.Nov 29 2021, 5:04 PM
manas requested review of this revision.Nov 29 2021, 5:04 PM
Herald added a project: Restricted Project. · View Herald TranscriptNov 29 2021, 5:04 PM
Herald added a subscriber: cfe-commits. · View Herald Transcript
manas added a comment.Nov 29 2021, 5:18 PM

Closing this as this is mistakenly a duplicate of existing differential D112621.

manas abandoned this revision.Nov 29 2021, 5:21 PM