IDL-Compiler-Documentation.md

@@ -60,9 +60,47 @@ Glue code is generated for each module. This is where the names of the files are
 
 ## Issues
 
-### `fsanitize` in `Makefile`
+### 1. Always asks for an rpc.
 
-*Monday 29 October 2018*
+If the line with the rpc statement is not there, we get a segfault in 
+main.cpp:144: `ccst_caller_h->write(ofs_caller_h, 0);`
+while giving no rpcs is okay with the grammer (`Rpc*`), the code
+does not handle such a case. It always expects rpcs.
+
+```c
+include <kernel.idl>
+module nullnet(channel c) {
+    channel net_async = new async(c);
+    use net_async;
+    {
+        projection <struct device> device {
+        }
+        projection <struct net_device_ops> net_device_ops {
+	rpc int (*open)(projection device  *dev);
+        }
+    }
+}
+```
+
+### 2. Does not detect an rpc, when require is put. 
+
+```c
+include <kernel.idl>
+module nullnet(channel c) {
+    channel net_async = new async(c);
+    use net_async;
+    {
+        projection <struct device> device {
+        }
+        projection <struct net_device_ops> net_device_ops {
+         rpc int (*open)(projection device  *dev);
+        }
+    }
+require kernel
+}
+```
+
+### 3. fsanitize in Makefile
 
 If `fsanitize` option is used in `Makefile`: 
 
@@ -81,14 +119,12 @@ ____
 `nullnet-require.idl`
 ```c
 module nullnet(channel c) {
-
     channel net_async = new async(c);
     use net_async;
     {
         projection <struct device> device {
         }
         projection <struct net_device_ops> net_device_ops {
-        
 	 rpc int (*open)(projection device  *dev);
         }
     }