From 905aa0489a2ae5cce9d2e17634169730a015eebf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <a-mikmay@microsoft.com>
Date: Wed, 2 Dec 2015 13:59:20 +0100
Subject: [PATCH] Fixed a crash occurring when a thread does not have a stack
trace.
---
src/main/scala/leon/frontends/scalac/CodeExtraction.scala | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/main/scala/leon/frontends/scalac/CodeExtraction.scala b/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
index f3995ee63..c50aae653 100644
--- a/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
+++ b/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
@@ -1729,7 +1729,9 @@ trait CodeExtraction extends ASTExtractors {
val typea1 = a1.getType
val typea2 = a2.map(_.getType).mkString(",")
val sa2 = a2.mkString(",")
+ try {
println(Thread.currentThread().getStackTrace.take(5).mkString("\n"))
+ } catch { case e: Throwable => }
outOfSubsetError(tr, "Unknown call to " + name + s" on $a1 ($typea1) with arguments $sa2 of type $typea2")
}
--
GitLab