https://github.com/JuliaLang/julia
Revision 39087c55ca1f50ba031c0623800cb16cca897285 authored by Keno Fischer on 21 December 2023, 01:20:53 UTC, committed by GitHub on 21 December 2023, 01:20:53 UTC
And then use this model for `nothrow` also (eventually we should just
refactor everything to make nothrow just the appropriate query on exct).
While we're at it, fix the nothrow model for pointerref/pointerset,
which was missing a type check.

---------

Co-authored-by: Shuhei Kadowaki <40514306+aviatesk@users.noreply.github.com>
1 parent 2cf4de4
History
Tip revision: 39087c55ca1f50ba031c0623800cb16cca897285 authored by Keno Fischer on 21 December 2023, 01:20:53 UTC
Exception type: Model intrinsics (#52547)
Tip revision: 39087c5
File Mode Size
man
src
.gitignore -rw-r--r-- 55 bytes
Makefile -rw-r--r-- 2.1 KB
Manifest.toml -rw-r--r-- 7.4 KB
NEWS-update.jl -rw-r--r-- 486 bytes
Project.toml -rw-r--r-- 59 bytes
README.md -rw-r--r-- 900 bytes
make.jl -rw-r--r-- 17.6 KB

README.md

back to top