]> git.eshelyaron.com Git - emacs.git/commit
Negate only values while constraining variables (bug#45376)
authorAndrea Corallo <akrl@sdf.org>
Wed, 23 Dec 2020 14:51:55 +0000 (15:51 +0100)
committerAndrea Corallo <akrl@sdf.org>
Wed, 23 Dec 2020 15:17:58 +0000 (16:17 +0100)
commitffcd490cb49ba86d625288ea425d98e8cac22a05
tree342f35499da56dff6dcb4d4066818492796194ca
parent0a89ed7a962e22892e9c700cfca188197af2a6ad
Negate only values while constraining variables (bug#45376)

* lisp/emacs-lisp/comp-cstr.el (comp-cstr-value-negation): New
function.
* lisp/emacs-lisp/comp.el (comp-fwprop-insn): Use
`comp-cstr-value-negation'.
* test/src/comp-test-funcs.el (comp-test-45376-1-f): Rename.
(comp-test-45376-2-f): New funcion.
* test/src/comp-tests.el (bug-45376-1): Rename test.
(bug-45376-2): Add test.
lisp/emacs-lisp/comp-cstr.el
lisp/emacs-lisp/comp.el
test/src/comp-test-funcs.el
test/src/comp-tests.el