search

TNO / Rewriters-Ada

Advanced manipulation of Ada code
BSD 3-Clause "New" or "Revised" License
5 stars 1 forks source link

Rewrite of equality operator always correct? #6

Open pjljvandelaar opened 1 year ago

pjljvandelaar commented 1 year ago

Does Ada allow NaN and Inf / MinInf as values? If so, value = value might not be true for NaN.

Is this the case? And if so, how to handle the rewrite?