emacs-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: How much do we care about undefined behavior triggered by invalid by


From: Philipp Stephani
Subject: Re: How much do we care about undefined behavior triggered by invalid bytecode?
Date: Tue, 22 May 2018 16:04:42 +0200



Noam Postavsky <address@hidden> schrieb am Di., 22. Mai 2018 um 15:42 Uhr:
On 22 May 2018 at 09:31, Philipp Stephani <address@hidden> wrote:
> It's pretty easy to find examples of (printed representations of) invalid
> bytecode that trigger C-level assertions or undefined behavior ("crashes").
> Should these be reported as bugs, or do we assume that any bytecode object
> is valid?

The latter, according to the manual (elisp) Byte-Code Objects:

   You should not try to come up with the elements for a byte-code
function yourself, because if they are inconsistent, Emacs may crash
when you call the function.  Always leave it to the byte compiler to
create these objects; it makes the elements consistent (we hope).

That refers only to calling bytecode objects, not to e.g. reading their printed representation. Would it also apply to reading or other forms of handling bytecode objects? If so, the documentation should say so. 

reply via email to

[Prev in Thread] Current Thread [Next in Thread]