Preventing ADT plugin crash when it finds unknown AST extensions

marcoeilers · marcoeilers · commit af7a21ae2cad · 2024-06-11T17:21:50.000+02:00
diff --git a/src/main/scala/viper/silver/plugin/standard/adt/encoding/AdtEncoder.scala b/src/main/scala/viper/silver/plugin/standard/adt/encoding/AdtEncoder.scala
@@ -388,6 +388,7 @@ class AdtEncoder(val program: Program) extends AdtNameManager {
     */
   private def containsFunctionIsDerived: Boolean = program.extensions.exists {
     case a: Adt => a.derivingInfo.contains(getContainsFunctionName)
+    case _ => false
   }
 
   /**

Original file line number	Diff line number	Diff line change
`@@ -388,6 +388,7 @@ class AdtEncoder(val program: Program) extends AdtNameManager {`
`388`	`388`	`*/`
`389`	`389`	`private def containsFunctionIsDerived: Boolean = program.extensions.exists {`
`390`	`390`	`case a: Adt => a.derivingInfo.contains(getContainsFunctionName)`
	`391`	`+ case _ => false`
`391`	`392`	`}`
`392`	`393`
`393`	`394`	`/**`