summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhilip Withnall <philip@tecnocode.co.uk>2015-10-02 12:50:12 +0100
committerPhilip Withnall <philip@tecnocode.co.uk>2015-10-02 12:50:12 +0100
commit674507861602db79fe34039ba339b7796475cdc1 (patch)
tree4b0349fd9bdc3cf1103b5c4f9cd3ded34e0b248b
parentf1502e76c2c4a88420e19007c52dade1e34a1ed5 (diff)
bugs: Add a bug comment
-rw-r--r--.be/8443e173-30ee-4e83-9228-9e11414e3432/bugs/a844ac6f-e364-4b83-b302-b02e7c8d9f70/comments/598792f4-ecda-4830-bef5-8b91e32a5f2d/body1
-rw-r--r--.be/8443e173-30ee-4e83-9228-9e11414e3432/bugs/a844ac6f-e364-4b83-b302-b02e7c8d9f70/comments/598792f4-ecda-4830-bef5-8b91e32a5f2d/values29
2 files changed, 30 insertions, 0 deletions
diff --git a/.be/8443e173-30ee-4e83-9228-9e11414e3432/bugs/a844ac6f-e364-4b83-b302-b02e7c8d9f70/comments/598792f4-ecda-4830-bef5-8b91e32a5f2d/body b/.be/8443e173-30ee-4e83-9228-9e11414e3432/bugs/a844ac6f-e364-4b83-b302-b02e7c8d9f70/comments/598792f4-ecda-4830-bef5-8b91e32a5f2d/body
new file mode 100644
index 0000000..6195323
--- /dev/null
+++ b/.be/8443e173-30ee-4e83-9228-9e11414e3432/bugs/a844ac6f-e364-4b83-b302-b02e7c8d9f70/comments/598792f4-ecda-4830-bef5-8b91e32a5f2d/body
@@ -0,0 +1 @@
+Note that the GUnix[Input|Output]Stream:close-fd properties complicate matters. For a first attempt, the analysis will have to be aborted if close-fd is set to a non-constant value anywhere in the compilation unit. More advanced analysis could be implemented later.
diff --git a/.be/8443e173-30ee-4e83-9228-9e11414e3432/bugs/a844ac6f-e364-4b83-b302-b02e7c8d9f70/comments/598792f4-ecda-4830-bef5-8b91e32a5f2d/values b/.be/8443e173-30ee-4e83-9228-9e11414e3432/bugs/a844ac6f-e364-4b83-b302-b02e7c8d9f70/comments/598792f4-ecda-4830-bef5-8b91e32a5f2d/values
new file mode 100644
index 0000000..4b9bb93
--- /dev/null
+++ b/.be/8443e173-30ee-4e83-9228-9e11414e3432/bugs/a844ac6f-e364-4b83-b302-b02e7c8d9f70/comments/598792f4-ecda-4830-bef5-8b91e32a5f2d/values
@@ -0,0 +1,29 @@
+{
+
+
+
+
+
+
+ "Author": "Philip Withnall <philip@tecnocode.co.uk>",
+
+
+
+
+
+
+ "Content-type": "text/plain",
+
+
+
+
+
+
+ "Date": "Sun, 10 Aug 2014 17:27:39 +0000"
+
+
+
+
+
+
+}