namespace SU {
//// Inputs
//// =========
rel AddrOf(variable: Str, object: Str)
rel Copy(to: Str, from: Str)
rel Store(label: Str, to: Str, from: Str)
rel Load(label: Str, to: Str, from: Str)
rel CFG(label: Str, to: Str, from: Str)
//// Outputs
//// =========
rel Pt(variable: Str, target: Str)
rel PtSU(location: Str, object: Str, target: Str)
//// Other types
//// =========
enum SULattice {
case Top,
case Single(Str),
case Bottom
}
lat SUBefore(location: Str, object: Str, target: SULattice<>)
lat SUAfter(location: Str, object: Str, target: SULattice<>)
rel PtH(object: Str, target: Str)
rel KillEmpty(location: Str)
rel KillNot(location: Str, object: Str)
rel AllObject(object: Str)
rel NonStore(location: Str)
}
Exception in thread "main" java.util.NoSuchElementException: key not found: Enum(Map(Top -> Tag(/SU::SULattice,Top,Unit), Single -> Tag(/SU::SULattice,Single,Str), Bottom -> Tag(/SU::SULattice,Bottom,Unit)))
at scala.collection.MapLike$class.default(MapLike.scala:228)
at scala.collection.AbstractMap.default(Map.scala:59)
at scala.collection.MapLike$class.apply(MapLike.scala:141)
at scala.collection.AbstractMap.apply(Map.scala:59)
at ca.uwaterloo.flix.runtime.datastore.IndexedLattice$$anonfun$2.apply(IndexedLattice.scala:21)
at ca.uwaterloo.flix.runtime.datastore.IndexedLattice$$anonfun$2.apply(IndexedLattice.scala:20)
at scala.collection.immutable.List.map(List.scala:273)
at ca.uwaterloo.flix.runtime.datastore.IndexedLattice.<init>(IndexedLattice.scala:20)
at ca.uwaterloo.flix.runtime.datastore.DataStore$$anonfun$2.apply(DataStore.scala:39)
at ca.uwaterloo.flix.runtime.datastore.DataStore$$anonfun$2.apply(DataStore.scala:33)
at scala.collection.TraversableLike$WithFilter$$anonfun$foreach$1.apply(TraversableLike.scala:778)
at scala.collection.immutable.HashMap$HashMap1.foreach(HashMap.scala:221)
at scala.collection.immutable.HashMap$HashTrieMap.foreach(HashMap.scala:428)
at scala.collection.immutable.HashMap$HashTrieMap.foreach(HashMap.scala:428)
at scala.collection.TraversableLike$WithFilter.foreach(TraversableLike.scala:777)
at ca.uwaterloo.flix.runtime.datastore.DataStore.<init>(DataStore.scala:33)
at ca.uwaterloo.flix.runtime.Solver.<init>(Solver.scala:64)
at ca.uwaterloo.flix.Flix$.solve(Flix.scala:34)
at ca.uwaterloo.flix.Main$.main(Main.scala:9)
at ca.uwaterloo.flix.Main.main(Main.scala)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:497)
at com.intellij.rt.execution.application.AppMain.main(AppMain.java:140)