From: Mattias Engdegård Date: Wed, 12 Apr 2023 10:20:12 +0000 (+0200) Subject: Update effect declarations for many built-in functions X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=feef1a0592d2f56bfae1718ae6f83f8f66393fb3;p=emacs.git Update effect declarations for many built-in functions * lisp/emacs-lisp/byte-opt.el (side-effect-free-fns) (side-effect-and-error-free-fns, pure-fns): Add many functions. * lisp/subr.el (copy-tree): Declare error-free. --- diff --git a/lisp/emacs-lisp/byte-opt.el b/lisp/emacs-lisp/byte-opt.el index c9c94f51ef0..f8ebbaabd95 100644 --- a/lisp/emacs-lisp/byte-opt.el +++ b/lisp/emacs-lisp/byte-opt.el @@ -1636,97 +1636,198 @@ See Info node `(elisp) Integer Basics'." ;; I wonder if I missed any :-\) (let ((side-effect-free-fns - '(% * + - / /= 1+ 1- < <= = > >= abs acos append aref ash asin atan - assq + '(% * + - / /= 1+ 1- < <= = > >= abs acos + active-minibuffer-window all-threads + append aref ash asin atan + assoc-string assq + bare-symbol base64-decode-string base64-encode-string base64url-encode-string bool-vector-count-consecutive bool-vector-count-population bool-vector-subsetp - boundp buffer-file-name buffer-local-variables buffer-modified-p - buffer-substring - capitalize car-less-than-car car cdr ceiling char-after char-before - char-equal char-to-string char-width compare-strings - window-configuration-equal-p concat coordinates-in-window-p - copy-alist copy-sequence copy-marker copysign cos + boundp + buffer-base-buffer buffer-chars-modified-tick buffer-file-name + buffer-local-value buffer-local-variables buffer-modified-p + buffer-modified-tick buffer-name buffer-substring + buffer-substring-no-properties + buffer-text-pixel-size + byte-to-string byte-to-position + capitalize car-less-than-car car category-docstring + category-set-mnemonics cdr ceiling + char-after char-before char-category-set char-equal + char-syntax char-to-string char-width + compare-buffer-substrings compare-strings + concat condition-mutex condition-name + controlling-tty-p coordinates-in-window-p + copy-category-table copy-alist copy-hash-table copy-keymap + copy-marker copy-sequence copy-syntax-table + copysign cos + current-bidi-paragraph-direction current-time-string current-time-zone decode-char - decode-time default-boundp default-value documentation downcase + decode-time default-boundp default-value + directory-name-p + documentation downcase elt encode-char exp expt encode-time error-message-string fboundp fceiling featurep ffloor file-directory-p file-exists-p file-locked-p file-name-absolute-p file-name-concat file-newer-than-file-p file-readable-p file-symlink-p file-writable-p - float float-time floor format format-message format-time-string - frame-first-window frame-root-window frame-selected-window - frame-visible-p fround ftruncate - get gethash get-buffer get-buffer-window get-file-buffer - hash-table-count - intern-soft isnan - keymap-parent + float float-time floor + format format-message format-network-address format-time-string + frame-ancestor-p frame-bottom-divider-width + frame-char-height frame-char-width + frame-child-frame-border-width frame-internal-border-width + frame-native-height frame-native-width frame-first-window frame-focus + frame-fringe-width + frame-parameters frame-parameter frame-parent + frame-pointer-visible-p frame-position + frame-right-divider-width + frame-root-window frame-scale-factor + frame-scroll-bar-height frame-scroll-bar-width + frame-selected-window frame-terminal frame-text-cols frame-text-lines + frame-text-height frame-text-width + frame-total-cols frame-total-lines + frame-visible-p frame-window-state-change + fringe-bitmaps-at-pos + fround ftruncate + get gethash get-buffer get-buffer-process get-buffer-window + get-char-property get-char-property-and-overlay + get-display-property get-process + get-text-property get-unused-category get-variable-watchers + group-name + hash-table-count hash-table-rehash-size hash-table-rehash-threshold + hash-table-size hash-table-test hash-table-weakness + indirect-variable innermost-minibuffer-p intern-soft invisible-p isnan + keymap-parent keymap-prompt ldexp length length< length> length= - line-beginning-position line-end-position pos-bol pos-eol + line-beginning-position line-end-position + line-number-at-pos line-pixel-height local-variable-if-set-p local-variable-p locale-info log logand logb logcount logior lognot logxor - make-byte-code make-list make-string make-symbol marker-buffer max + lookup-image-map + make-bool-vector make-byte-code make-category-set make-char-table + make-hash-table make-keymap make-list make-record make-sparse-keymap + make-string make-symbol make-vector + marker-buffer marker-insertion-type marker-position max match-beginning match-end - member memq memql min minibuffer-selected-window minibuffer-window - mod multibyte-char-to-unibyte next-window nth nthcdr number-to-string - prefix-numeric-value previous-window prin1-to-string propertize + matching-paren + member memq memql min minibuffer-innermost-command-loop-p + minibuffer-selected-window minibuffer-window minibufferp + mod multibyte-char-to-unibyte mutex-name + next-char-property-change next-frame next-overlay-change + next-property-change next-single-char-property-change + next-single-property-change + next-window ngettext nth nthcdr number-to-string + object-intervals + overlay-buffer overlay-end overlay-get overlay-properties + overlay-start overlays-at overlays-in + posn-at-point posn-at-x-y position-symbol + pos-bol pos-eol + prefix-numeric-value + previous-char-property-change previous-frame previous-overlay-change + previous-property-change + previous-single-char-property-change previous-single-property-change + previous-window + prin1-to-string + process-buffer process-coding-system process-command process-filter + process-id process-inherit-coding-system-flag + process-mark process-name process-plist + process-query-on-exit-flag process-running-child-p process-sentinel + process-thread process-tty-name process-type + propertize rassq rassoc read-from-string regexp-quote region-beginning region-end reverse round - sin sqrt string string-equal string-lessp + sin + sqlite-columns sqlite-more-p sqlite-version + sqrt string string-bytes string-distance string-equal string-lessp string-search string-to-char - string-to-number string-to-syntax substring substring-no-properties - sxhash-equal sxhash-eq sxhash-eql - symbol-function symbol-name symbol-plist symbol-value + string-to-number string-to-syntax subr-arity subr-name + substring substring-no-properties + sxhash-equal sxhash-eq sxhash-eql sxhash-equal-including-properties + symbol-function symbol-name symbol-plist symbol-value + symbol-with-pos-pos + syntax-class-to-char string-make-unibyte string-make-multibyte string-as-multibyte string-as-unibyte string-to-multibyte - take tan time-convert truncate - unibyte-char-to-multibyte upcase user-full-name + subr-native-lambda-list subr-type + tab-bar-height + take tan + terminal-list terminal-live-p terminal-name + terminal-parameter terminal-parameters + text-properties-at text-property-any text-property-not-all + thread-live-p thread-name + time-add time-convert time-equal-p time-less-p time-subtract + tool-bar-height tool-bar-pixel-width truncate + tty-display-color-cells tty-display-color-p tty-top-frame tty-type + unibyte-char-to-multibyte upcase upcase-initials user-full-name user-login-name - vconcat + variable-binding-locus vconcat window-at window-body-height window-body-width window-buffer window-dedicated-p window-display-table - window-combination-limit window-frame window-fringes - window-hscroll + window-combination-limit window-configuration-equal-p window-frame + window-fringes window-hscroll window-left-child window-left-column window-margins window-minibuffer-p window-next-buffers window-next-sibling window-new-normal window-new-total window-normal-size window-parameter window-parameters window-parent window-point window-prev-buffers window-prev-sibling window-scroll-bars - window-start window-text-height window-top-child window-top-line + window-start window-system window-text-height + window-text-pixel-size + window-top-child window-top-line window-total-height window-total-width window-use-time window-vscroll )) (side-effect-and-error-free-fns '(arrayp atom - bobp bolp bool-vector-p - buffer-list buffer-size buffer-string bufferp - byte-code-function-p - car-safe case-table-p cdr-safe char-or-string-p characterp - charsetp commandp cons consp - current-buffer current-global-map current-indentation - current-local-map current-minor-mode-maps current-time - eobp eolp eq equal eql - floatp following-char framep + bare-symbol-p bobp bolp bool-vector bool-vector-p + buffer-list buffer-live-p buffer-size buffer-string bufferp + byte-code-function-p byteorder + car-safe case-table-p category-table category-table-p cdr-safe + char-or-string-p char-table-p characterp + charsetp commandp condition-variable-p cons consp + current-buffer current-case-table current-column current-global-map + current-idle-time current-indentation current-input-mode + current-local-map current-message current-minor-mode-maps + current-thread current-time + default-file-modes + emacs-pid eobp eolp eq equal eql + floatp following-char + frame-list frame-live-p framep functionp + gap-position gap-size + group-gid group-real-gid hash-table-p - identity indirect-function integerp integer-or-marker-p + identity imagep indirect-function integerp integer-or-marker-p invocation-directory invocation-name keymapp keywordp - list listp - make-marker mark-marker markerp max-char + last-nonminibuffer-frame list listp + long-line-optimizations-p + make-category-table make-marker mark-marker markerp max-char + minibuffer-contents minibuffer-contents-no-properties + minibuffer-depth minibuffer-prompt minibuffer-prompt-end + module-function-p multibyte-string-p mutexp natnump nlistp null number-or-marker-p numberp - overlayp - point point-marker point-min point-max preceding-char - processp proper-list-p - recent-keys recursion-depth - safe-length selected-frame selected-window sequencep - standard-case-table standard-syntax-table stringp subrp symbolp - syntax-table syntax-table-p + old-selected-frame overlay-lists overlayp + point point-marker point-min point-max position-bytes + preceding-char + processp process-list + proper-list-p purecopy + recent-keys record recordp recursion-depth + remove-pos-from-symbol + safe-length secure-hash-algorithms + selected-frame selected-window sequencep signal-names + sqlite-available-p sqlitep + standard-case-table standard-category-table standard-syntax-table + stringp + subr-native-elisp-p subrp + symbol-with-pos-p symbolp + syntax-table syntax-table-p system-name this-command-keys this-command-keys-vector this-single-command-keys - this-single-command-raw-keys type-of - user-real-login-name user-real-uid user-uid - vector vectorp visible-frame-list + this-single-command-raw-keys threadp type-of + user-ptrp + user-real-login-name user-real-uid user-uid + vector vector-or-char-table-p vectorp visible-frame-list + waiting-for-user-input-p wholenump window-configuration-p window-live-p window-valid-p windowp))) (while side-effect-free-fns @@ -1765,11 +1866,14 @@ See Info node `(elisp) Integer Basics'." string-equal string-lessp string-search consp atom listp nlistp proper-list-p - sequencep arrayp vectorp stringp bool-vector-p hash-table-p + sequencep arrayp vectorp stringp bool-vector-p hash-table-p recordp + multibyte-string-p char-table-p vector-or-char-table-p + threadp mutexp condition-variable-p null numberp integerp floatp natnump characterp integer-or-marker-p number-or-marker-p char-or-string-p - symbolp keywordp + symbolp keywordp bufferp markerp + bare-symbol remove-pos-from-symbol type-of identity @@ -1785,6 +1889,7 @@ See Info node `(elisp) Integer Basics'." ;; impure if the test function is (consider `string-match'). assq rassq rassoc aref elt + length< length> length= string-bytes string-distance base64-decode-string base64-encode-string base64url-encode-string bool-vector-subsetp bool-vector-count-population bool-vector-count-consecutive diff --git a/lisp/subr.el b/lisp/subr.el index cbddfa620a8..f90026534e8 100644 --- a/lisp/subr.el +++ b/lisp/subr.el @@ -829,7 +829,7 @@ of course, also replace TO with a slightly larger value If TREE is a cons cell, this recursively copies both its car and its cdr. Contrast to `copy-sequence', which copies only along the cdrs. With second argument VECP, this copies vectors as well as conses." - (declare (side-effect-free t)) + (declare (side-effect-free error-free)) (if (consp tree) (let (result) (while (consp tree)