projects / sbcl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 123a8dd) | patch
fixes in EXPT type derivation
authorChristophe Rhodes <csr21@cantab.net>
Mon, 3 Jun 2013 13:54:17 +0000 (14:54 +0100)
committerChristophe Rhodes <csr21@cantab.net>
Mon, 3 Jun 2013 13:56:15 +0000 (14:56 +0100)
commit6c1e23b7535e86697e518125f60550ecac82439d
treef164785506e1d3fbe6fdcdd89da9f98d5e736b8dtree | snapshot
parent123a8dd97ab99b5e205b6768f6389d7cc7c12656commit | diff
fixes in EXPT type derivation

It was possible to construct mostly (but not completely) unobservable
bogus floating-point types when deriving the type of functions
returning the value of calls to EXPT.  Noticed by Vsevolod Dyomkin,
who found a way to observe it by redefining methods.
NEWS diff | blob | history
src/compiler/float-tran.lisp diff | blob | history
tests/compiler.impure.lisp diff | blob | history
Mirror of Steel Bank Common Lisp SBCL's official repository