mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-06-29 14:30:34 +02:00
Code Activity

Fix intmap-intersect edge case

Browse source 
* module/language/cps/intmap.scm (intmap-intersect): If intersection of
  same-level intmaps is empty, return empty intmap.
This commit is contained in:
Andy Wingo 2019-06-11 12:56:23 +02:00
parent 8d46966052
commit ba94bcafea
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
module/language/cps/intmap.scm
View file

@ -1,5 +1,5 @@
;;; Functional name maps
;;; Copyright (C) 2014, 2015, 2017 Free Software Foundation, Inc.
;;; Copyright (C) 2014-2017,2019 Free Software Foundation, Inc.
;;;
;;; This library is free software: you can redistribute it and/or modify
;;; it under the terms of the GNU Lesser General Public License as
@ -717,6 +717,7 @@ already, and always calls the meet procedure."
;; At this point, A and B cover the same range.
(let ((root (intersect a-shift a-root b-root)))
(cond
((absent? root) empty-intmap)
((eq? root a-root) a)
((eq? root b-root) b)
(else (make-intmap/prune a-min a-shift root)))))))))