https://github.com/JuliaLang/julia
Revision e204e200df8f57e516920c056b6ec2eb37d34079 authored by Keno Fischer on 10 May 2023, 02:57:28 UTC, committed by GitHub on 10 May 2023, 02:57:28 UTC
If we infer a call to `Union{}`, we can terminate further abstract
interpretation. However, this of course also means that we can
make use of that information to refine the types of any phis
that may have originated from the basic block containing the
call that was refined to `Union{}`.

Co-authored-by: Shuhei Kadowaki <aviatesk@gmail.com>
1 parent b9b8b38
History
Tip revision: e204e200df8f57e516920c056b6ec2eb37d34079 authored by Keno Fischer on 10 May 2023, 02:57:28 UTC
irinterp: Consider cfg information from discovered errors (#49692)
Tip revision: e204e20
File Mode Size
.devcontainer
.github
base
cli
contrib
deps
doc
etc
src
stdlib
test
.buildkite-external-version -rw-r--r-- 5 bytes
.clang-format -rw-r--r-- 3.3 KB
.clangd -rw-r--r-- 114 bytes
.codecov.yml -rw-r--r-- 52 bytes
.git-blame-ignore-revs -rw-r--r-- 371 bytes
.gitattributes -rw-r--r-- 65 bytes
.gitignore -rw-r--r-- 514 bytes
.mailmap -rw-r--r-- 12.1 KB
CITATION.bib -rw-r--r-- 513 bytes
CITATION.cff -rw-r--r-- 940 bytes
CONTRIBUTING.md -rw-r--r-- 23.1 KB
HISTORY.md -rw-r--r-- 363.4 KB
LICENSE.md -rw-r--r-- 1.3 KB
Make.inc -rw-r--r-- 54.5 KB
Makefile -rw-r--r-- 29.8 KB
NEWS.md -rw-r--r-- 5.4 KB
README.md -rw-r--r-- 7.4 KB
THIRDPARTY.md -rw-r--r-- 3.8 KB
VERSION -rw-r--r-- 11 bytes
julia.spdx.json -rw-r--r-- 35.8 KB
pkgimage.mk -rw-r--r-- 5.8 KB
sysimage.mk -rw-r--r-- 4.2 KB

README.md

back to top