From 9874981e757f0e2658baa3a871450509cee9204c Mon Sep 17 00:00:00 2001
From: Andreas Rumpf <rumpf_a@web.de>
Date: Sun, 19 Apr 2020 10:01:04 +0200
Subject: fixes #14001 (#14004)

---
 drnim/drnim.nim | 1 +
 1 file changed, 1 insertion(+)

(limited to 'drnim')

diff --git a/drnim/drnim.nim b/drnim/drnim.nim
index 6c08bed42..789cf74cf 100644
--- a/drnim/drnim.nim
+++ b/drnim/drnim.nim
@@ -9,6 +9,7 @@
 
 #[
 
+- introduce Phi nodes to complete the SSA representation
 - the analysis has to take 'break', 'continue' and 'raises' into account
 - We need to map arrays to Z3 and test for something like 'forall(i, (i in 3..4) -> (a[i] > 3))'
 - We need teach DrNim what 'inc', 'dec' and 'swap' mean, for example
-- 
cgit 1.4.1-2-gfad0