Revision a7fd6a76f43262c02e83d809500b98e649490dbc authored by Keno Fischer on 11 April 2024, 12:05:43 UTC, committed by GitHub on 11 April 2024, 12:05:43 UTC
This extends the value-inability predicate to allow mutable structs that
do not have any mutable fields. The motivating example for this is
ScopedValue, which is mutable only for identity. By allowing it in this
predicate, more of the ScopedValue support code becomes concrete-eval
eligible, rather than attempting to constprop for every single
ScopedValue, saving compilation time.

---------

Co-authored-by: Shuhei Kadowaki <aviatesk@gmail.com>
1 parent dc8857a
History
File Mode Size
trampolines
.gitignore -rw-r--r-- 33 bytes
Makefile -rw-r--r-- 8.6 KB
README.md -rw-r--r-- 4.1 KB
jl_exports.h -rw-r--r-- 2.2 KB
julia.expmap.in -rw-r--r-- 45 bytes
list_strip_symbols.h -rw-r--r-- 284 bytes
loader.h -rw-r--r-- 2.3 KB
loader_exe.c -rw-r--r-- 2.2 KB
loader_lib.c -rw-r--r-- 20.9 KB
loader_win_utils.c -rw-r--r-- 5.7 KB

README.md

back to top