Skip to content

Commit

Permalink
Spew more debug info on extract assertion (#2149)
Browse files Browse the repository at this point in the history
  • Loading branch information
wsmoses authored Dec 1, 2024
1 parent c9c79ac commit e69f3c2
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion src/absint.jl
Original file line number Diff line number Diff line change
Expand Up @@ -636,8 +636,11 @@ function abs_typeof(
return (false, nothing, nothing)
end
if byref == GPUCompiler.BITS_VALUE
ltyp = typ
for ind in offset
@assert Base.isconcretetype(typ)
if !Base.isconcretetype(typ)
throw(AssertionError("Illegal absint of $(string(arg)) ltyp=$ltyp, typ=$typ, offset=$offset, ind=$ind"))
end
cnt = 0
for i = 1:fieldcount(typ)
styp = typed_fieldtype(typ, i)
Expand Down

0 comments on commit e69f3c2

Please sign in to comment.