4.3.1 Bug Fixes Fixed an infinite loop in semmle.code.cpp.rangeanalysis.new.RangeAnalysis when computing ranges in very large and complex function bodies.