Merge pull request #266 from maleadt/tb/assume

Fix return value of assume.

Author: maleadt

Project.toml

@@ -1,6 +1,6 @@
 name = "LLVM"
 uuid = "929cbde3-209d-540e-8aea-75f648917ca0"
-version = "4.5.0"
+version = "4.5.1"
 
 [deps]
 CEnum = "fa961155-64e5-5f13-b03f-caf6b980ea82"

src/interop/intrinsics.jl

@@ -15,7 +15,11 @@ export trap, assume
     Nothing, Tuple{Bool}, cond)
 
 # do-block syntax
-@inline function assume(f::F, val...) where {F}
-    assume(f(val...))
+@inline function assume(f::F) where {F}
+    assume(f())
+    return
+end
+@inline function assume(f::F, val) where {F}
+    assume(f(val))
     return val
 end

test/interop.jl

@@ -131,10 +131,13 @@ end
 
 
 @testset "intrinsics" begin
-    assume(true)
-    assume() do
+    @test assume(true) === nothing
+    @test assume() do
         true
-    end
+    end === nothing
+    @test assume(rand()) do x
+        0 <= x <= 1
+    end isa Float64
 end
 
 using Core: LLVMPtr