From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:48373) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hX0n1-0007ow-M9 for guix-patches@gnu.org; Sat, 01 Jun 2019 05:59:04 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hX0n0-0007pR-IF for guix-patches@gnu.org; Sat, 01 Jun 2019 05:59:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:51814) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hX0n0-0007pN-FT for guix-patches@gnu.org; Sat, 01 Jun 2019 05:59:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hX0n0-0005AQ-CX for guix-patches@gnu.org; Sat, 01 Jun 2019 05:59:02 -0400 Subject: [bug#35880] [PATCH 1/7] lzlib: Add 'make-lzip-input-port/compressed'. Resent-Message-ID: From: Pierre Neidhardt In-Reply-To: <87ef4dk5g8.fsf@gnu.org> References: <20190524134238.22802-1-ludo@gnu.org> <87d0k6o3am.fsf@ambrevar.xyz> <87ftp1m1te.fsf@gnu.org> <87blznsxym.fsf@gnu.org> <87ef4jlvbr.fsf@ambrevar.xyz> <87lfyrr554.fsf@gnu.org> <87sgszk3ev.fsf@ambrevar.xyz> <877eab3tjq.fsf@gnu.org> <87k1ebj7a8.fsf@ambrevar.xyz> <871s0i1yji.fsf@gnu.org> <87a7f5wbow.fsf@ambrevar.xyz> <87v9xqny4u.fsf@gnu.org> <87ef4dzvuy.fsf@ambrevar.xyz> <87ef4dk5g8.fsf@gnu.org> Date: Sat, 01 Jun 2019 11:58:23 +0200 Message-ID: <8736ktzkxs.fsf@ambrevar.xyz> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 35880-done@debbugs.gnu.org --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Ludovic Court=C3=A8s writes: > =E2=80=98feed-decoder!=E2=80=99 cannot return an empty bytevector because > =E2=80=98lz-decompress-write-size=E2=80=99 necessarily returns a strictly= positive > integer at this point. I'm not sure that's true: if the buffer is full and the next lz-decompress-read does not read anything, then the buffer will still be full and lz-decompress-write-size will return 0. The specs don't guarantee that lz-decompress-read will always read something. But that's the only assumption we are making I believe, and it's fair :) =2D-=20 Pierre Neidhardt https://ambrevar.xyz/ --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEUPM+LlsMPZAEJKvom9z0l6S7zH8FAlzyTD8ACgkQm9z0l6S7 zH/W+gf+McCVLjkNT3Eb6wBG6GQEdkUfMrxGBL5F7aX4wW8npk+KcuS05g1V4xIS pMnHcUYcC6TnofKMr2k1udK7xYyV+3AScN7NfopPHjFlxUzdrSR5GtcDgoIqb9gP bKoKdBMklfSqUk160C5976qE8x3NrOyc5t7K/LPLWrbKMmjuI4P0Qu6zybQH9kyY c4A8lKE79HnPbdarPdKikCqETDq+iYrUgCOvDLRCB+p2uQ2s8Y4fADoSxfBxcnrC 35Do7kK19MJbRP3YW8d/Q0TLky2XN0dqIu2quoSaGUW17Af/NEfer53SUxy67CzP QfHw9jpc06a5T6ZMT4r0h1NK6KILZg== =iidi -----END PGP SIGNATURE----- --=-=-=--