diff options
author | Philip Withnall <philip@tecnocode.co.uk> | 2015-10-02 12:50:12 +0100 |
---|---|---|
committer | Philip Withnall <philip@tecnocode.co.uk> | 2015-10-02 12:50:12 +0100 |
commit | 674507861602db79fe34039ba339b7796475cdc1 (patch) | |
tree | 4b0349fd9bdc3cf1103b5c4f9cd3ded34e0b248b | |
parent | f1502e76c2c4a88420e19007c52dade1e34a1ed5 (diff) |
bugs: Add a bug comment
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" + + + + + + +} |