<div dir="ltr"><div>Hello all,</div><div><br></div><div>I have been looking into generating range constraints for some C programs, in the hopes of finding potential UB for bitshift operations. However, it seems that the existing range based constraint manager only produces constraints for certain symbols. For other symbols, such as those generated by arithmetic on a range bounded symbol, I found myself needing to calculate the new range constraint myself. Is this a reasonable path forwards, or is there some existing code that does something  similar to this already?</div><div><br></div><div>I have been looking at the RangedConstraintManager, and using it's RangeSet implementation,  but I also haven't  found where the RangeSet is actually used.</div><div><br></div><div>Any help would be appreciated.</div><div><br></div><div>Best,</div><div>Christoph<br></div></div>