[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#44018: Don't consider play-sound-file to be a 'safe' function
From: |
Eli Zaretskii |
Subject: |
bug#44018: Don't consider play-sound-file to be a 'safe' function |
Date: |
Sat, 31 Oct 2020 10:06:58 +0200 |
> From: Mattias Engdegård <mattiase@acm.org>
> Date: Mon, 26 Oct 2020 21:36:50 +0100
> Cc: contovob@tcd.ie, larsi@gnus.org, 44018@debbugs.gnu.org
>
> 26 okt. 2020 kl. 19.28 skrev Eli Zaretskii <eliz@gnu.org>:
>
> > So you are saying 'message' is not safe because it could be used to
> > display text that isn't "innocuous"? In that case, we should also
> > remove from the list 'error' and 'signal', no?
>
> That's a good point. Perhaps we should.
> There doesn't seem to be much point in permitting 'while' either in the
> absence of mutation, but I don't think it's actively harmful. I could be
> wrong.
I'm okay with doing this, but please add commentary that explains
these removals and the general policy for considering a function
"safe".
Thanks.
- bug#44018: Don't consider play-sound-file to be a 'safe' function, (continued)
bug#44018: Don't consider play-sound-file to be a 'safe' function, Lars Ingebrigtsen, 2020/10/16
- bug#44018: Don't consider play-sound-file to be a 'safe' function, Eli Zaretskii, 2020/10/16
- bug#44018: Don't consider play-sound-file to be a 'safe' function, Basil L. Contovounesios, 2020/10/26
- bug#44018: Don't consider play-sound-file to be a 'safe' function, Eli Zaretskii, 2020/10/26
- bug#44018: Don't consider play-sound-file to be a 'safe' function, Mattias Engdegård, 2020/10/26
- bug#44018: Don't consider play-sound-file to be a 'safe' function, Eli Zaretskii, 2020/10/26
- bug#44018: Don't consider play-sound-file to be a 'safe' function, Mattias Engdegård, 2020/10/26
- bug#44018: Don't consider play-sound-file to be a 'safe' function,
Eli Zaretskii <=
- bug#44018: Don't consider play-sound-file to be a 'safe' function, Mattias Engdegård, 2020/10/31