[Bug tree-optimization/116808] Valgrind reports mismatched new/delete in value-range.h

[sjames at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116808

Sam James <sjames at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED
      Known to work|                            |13.3.1

--- Comment #7 from Sam James <sjames at gcc dot gnu.org> ---
Fixed for 13.4.