[cfe-dev] [analyzer] What is RangeSet::Negate idea

[Denis Petrov via cfe-dev]

Hi, community.


Who can explain the main idea of RangeSet::Negate? And how does RangeSet ?work?


As I understand RangeSet may hold several constraint ranges (e.g. [MIN,10] U [20,30] U [40,MAX]) or may be empty (no constraints, in other words, holds everything [MIN, MAX]),

when MIN and MAX are kinda numeric_limits<type which corresponds to particular SymExpr?>::min/max().

Am I correct? If I am not, please explain.


P.S. fixed wrong subject format.


________________________________
Denys Petrov
Senior С++ Developer | Kharkiv, Ukraine

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20200406/e0908dc8/attachment.html>