{"action":"created","issue":{"url":"https://api.github.com/repos/TrustInSoft/tis-interpreter/issues/114","repository_url":"https://api.github.com/repos/TrustInSoft/tis-interpreter","labels_url":"https://api.github.com/repos/TrustInSoft/tis-interpreter/issues/114/labels{/name}","comments_url":"https://api.github.com/repos/TrustInSoft/tis-interpreter/issues/114/comments","events_url":"https://api.github.com/repos/TrustInSoft/tis-interpreter/issues/114/events","html_url":"https://github.com/TrustInSoft/tis-interpreter/issues/114","id":161641127,"number":114,"title":"Unexpected error: assignment of structs with flexible array members","user":{"login":"ch3root","id":10299648,"avatar_url":"https://avatars.githubusercontent.com/u/10299648?v=3","gravatar_id":"","url":"https://api.github.com/users/ch3root","html_url":"https://github.com/ch3root","followers_url":"https://api.github.com/users/ch3root/followers","following_url":"https://api.github.com/users/ch3root/following{/other_user}","gists_url":"https://api.github.com/users/ch3root/gists{/gist_id}","starred_url":"https://api.github.com/users/ch3root/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ch3root/subscriptions","organizations_url":"https://api.github.com/users/ch3root/orgs","repos_url":"https://api.github.com/users/ch3root/repos","events_url":"https://api.github.com/users/ch3root/events{/privacy}","received_events_url":"https://api.github.com/users/ch3root/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-06-22T10:02:50Z","updated_at":"2016-07-06T08:29:26Z","closed_at":"2016-07-06T08:27:47Z","body":"Source code:\r\n```c\r\nint main()\r\n{\r\n  struct { char c; char a[]; } x, y;\r\n  y = x;\r\n}\r\n```\r\n\r\ntis-interpreter (31be1ffdb350ea940095be4757d0d5779c38f10b) output:\r\n```\r\n[value] Analyzing a complete application starting at main\r\n[value] Computing initial state\r\n[value] Initial state computed\r\n[kernel] Current source was: test.c:4\r\n         The full backtrace is:\r\n         Raised at file \"src/plugins/value/legacy/eval_stmt.ml\", line 65, characters 27-39\r\n         Called from file \"list.ml\", line 84, characters 24-34\r\n         Called from file \"src/plugins/value/legacy/eval_stmt.ml\", line 171, characters 6-162\r\n         Called from file \"src/plugins/value/legacy/eval_stmt.ml\", line 330, characters 30-73\r\n         Called from file \"src/plugins/value/legacy/eval_stmt.ml\", line 356, characters 33-56\r\n         Called from file \"src/plugins/value/legacy/eval_stmt.ml\", line 369, characters 10-30\r\n         Called from file \"src/plugins/value/legacy/eval_stmt.ml\", line 394, characters 8-97\r\n         Called from file \"src/plugins/value/legacy/eval_stmt.ml\", line 400, characters 6-70\r\n         Called from file \"src/plugins/value/legacy/eval_slevel.ml\", line 562, characters 30-38\r\n         Called from file \"list.ml\", line 84, characters 24-34\r\n         Called from file \"src/plugins/value/legacy/eval_slevel.ml\", line 559, characters 14-326\r\n         Called from file \"src/plugins/value/legacy/eval_slevel.ml\", line 572, characters 14-175\r\n         Called from file \"src/libraries/utils/statistics.ml\", line 333, characters 21-29\r\n         Re-raised at file \"src/libraries/utils/statistics.ml\", line 338, characters 14-15\r\n         Called from file \"src/kernel_services/analysis/dataflow2.ml\", line 362, characters 28-46\r\n         Called from file \"src/kernel_services/analysis/dataflow2.ml\", line 512, characters 14-39\r\n         Called from file \"src/plugins/value/legacy/eval_funs.ml\", line 58, characters 8-36\r\n         Called from file \"src/plugins/value/legacy/eval_funs.ml\", line 147, characters 8-61\r\n         Called from file \"src/plugins/value/legacy/eval_funs.ml\", line 307, characters 14-117\r\n         Re-raised at file \"src/plugins/value/legacy/eval_funs.ml\", line 311, characters 14-15\r\n         Called from file \"src/libraries/utils/statistics.ml\", line 333, characters 21-29\r\n         Re-raised at file \"src/libraries/utils/statistics.ml\", line 338, characters 14-15\r\n         Called from file \"src/plugins/value/legacy/eval_funs.ml\", line 690, characters 11-40\r\n         Re-raised at file \"src/plugins/value/legacy/eval_funs.ml\", line 718, characters 47-50\r\n         Called from file \"src/libraries/project/state_builder.ml\", line 978, characters 9-13\r\n         Re-raised at file \"src/libraries/project/state_builder.ml\", line 986, characters 15-18\r\n         Called from file \"src/plugins/value/register.ml\", line 108, characters 4-24\r\n         Called from file \"queue.ml\", line 134, characters 6-20\r\n         Called from file \"src/kernel_internals/runtime/boot.ml\", line 39, characters 4-20\r\n         Called from file \"src/kernel_services/cmdline_parameters/cmdline.ml\", line 783, characters 2-9\r\n         Called from file \"src/kernel_services/cmdline_parameters/cmdline.ml\", line 813, characters 18-64\r\n         Called from file \"src/kernel_services/cmdline_parameters/cmdline.ml\", line 224, characters 4-8\r\n         \r\n         Unexpected error (File \"src/plugins/value/legacy/eval_stmt.ml\", line 65, characters 27-33: Assertion failed).\r\n         Please report at https://github.com/TrustInSoft/tis-interpreter/issues\r\n```\r\n"},"comment":{"url":"https://api.github.com/repos/TrustInSoft/tis-interpreter/issues/comments/230710352","html_url":"https://github.com/TrustInSoft/tis-interpreter/issues/114#issuecomment-230710352","issue_url":"https://api.github.com/repos/TrustInSoft/tis-interpreter/issues/114","id":230710352,"user":{"login":"pascal-cuoq","id":1143690,"avatar_url":"https://avatars.githubusercontent.com/u/1143690?v=3","gravatar_id":"","url":"https://api.github.com/users/pascal-cuoq","html_url":"https://github.com/pascal-cuoq","followers_url":"https://api.github.com/users/pascal-cuoq/followers","following_url":"https://api.github.com/users/pascal-cuoq/following{/other_user}","gists_url":"https://api.github.com/users/pascal-cuoq/gists{/gist_id}","starred_url":"https://api.github.com/users/pascal-cuoq/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/pascal-cuoq/subscriptions","organizations_url":"https://api.github.com/users/pascal-cuoq/orgs","repos_url":"https://api.github.com/users/pascal-cuoq/repos","events_url":"https://api.github.com/users/pascal-cuoq/events{/privacy}","received_events_url":"https://api.github.com/users/pascal-cuoq/received_events","type":"User","site_admin":false},"created_at":"2016-07-06T08:29:26Z","updated_at":"2016-07-06T08:29:26Z","body":"I am investigating other problems in relation to flexible array members (yes, beyond the wave that you already reported), it will be nice when everything is working more correctly."}}
{"actor":{"display_login":"pascal-cuoq"}}