{"action":"created","issue":{"url":"https://api.github.com/repos/coccinelle/coccinelle/issues/152","repository_url":"https://api.github.com/repos/coccinelle/coccinelle","labels_url":"https://api.github.com/repos/coccinelle/coccinelle/issues/152/labels{/name}","comments_url":"https://api.github.com/repos/coccinelle/coccinelle/issues/152/comments","events_url":"https://api.github.com/repos/coccinelle/coccinelle/issues/152/events","html_url":"https://github.com/coccinelle/coccinelle/issues/152","id":394793725,"node_id":"MDU6SXNzdWUzOTQ3OTM3MjU=","number":152,"title":"Complete support for data flow analysis (in variable initialisations)","user":{"login":"elfring","id":660477,"node_id":"MDQ6VXNlcjY2MDQ3Nw==","avatar_url":"https://avatars1.githubusercontent.com/u/660477?v=4","gravatar_id":"","url":"https://api.github.com/users/elfring","html_url":"https://github.com/elfring","followers_url":"https://api.github.com/users/elfring/followers","following_url":"https://api.github.com/users/elfring/following{/other_user}","gists_url":"https://api.github.com/users/elfring/gists{/gist_id}","starred_url":"https://api.github.com/users/elfring/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/elfring/subscriptions","organizations_url":"https://api.github.com/users/elfring/orgs","repos_url":"https://api.github.com/users/elfring/repos","events_url":"https://api.github.com/users/elfring/events{/privacy}","received_events_url":"https://api.github.com/users/elfring/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2018-12-29T12:56:07Z","updated_at":"2018-12-29T14:08:05Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"I have tried the software combination “Coccinelle 1.0.7-00151-ga48bc27d (OCaml 4.07.1)” out again for a analysis by a tiny SmPL script on a specific source file.\r\n\r\nshow_unused_variable.cocci:\r\n```\r\n@display@\r\nidentifier f, x;\r\ntype ft, xt;\r\n@@\r\n ft f(...)\r\n {\r\n ... when any\r\n*xt x;\r\n ... when != x\r\n     when strict\r\n }\r\n```\r\n\r\n\r\nTest result:\r\n```\r\nelfring@Sonne:~/Projekte/Coccinelle/Probe> spatch show_unused_variable.cocci example_with_two_variables.c\r\n```\r\n…\r\n```\r\n@@ -1,6 +1,4 @@\r\n int main(void)\r\n {\r\n-int d = 0,\r\n-    e = d;\r\n return e;\r\n }\r\n```\r\n\r\n\r\nIt seems that the handling of the control/data flow is incomplete here.\r\n:crystal_ball: How can the software be improved so that data usage will be taken into account also from variable initialisations?"},"comment":{"url":"https://api.github.com/repos/coccinelle/coccinelle/issues/comments/450495592","html_url":"https://github.com/coccinelle/coccinelle/issues/152#issuecomment-450495592","issue_url":"https://api.github.com/repos/coccinelle/coccinelle/issues/152","id":450495592,"node_id":"MDEyOklzc3VlQ29tbWVudDQ1MDQ5NTU5Mg==","user":{"login":"JuliaLawall","id":502938,"node_id":"MDQ6VXNlcjUwMjkzOA==","avatar_url":"https://avatars2.githubusercontent.com/u/502938?v=4","gravatar_id":"","url":"https://api.github.com/users/JuliaLawall","html_url":"https://github.com/JuliaLawall","followers_url":"https://api.github.com/users/JuliaLawall/followers","following_url":"https://api.github.com/users/JuliaLawall/following{/other_user}","gists_url":"https://api.github.com/users/JuliaLawall/gists{/gist_id}","starred_url":"https://api.github.com/users/JuliaLawall/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JuliaLawall/subscriptions","organizations_url":"https://api.github.com/users/JuliaLawall/orgs","repos_url":"https://api.github.com/users/JuliaLawall/repos","events_url":"https://api.github.com/users/JuliaLawall/events{/privacy}","received_events_url":"https://api.github.com/users/JuliaLawall/received_events","type":"User","site_admin":false},"created_at":"2018-12-29T14:08:05Z","updated_at":"2018-12-29T14:08:05Z","author_association":"CONTRIBUTOR","body":"\n\nOn Sat, 29 Dec 2018, Markus Elfring wrote:\n\n>\n> Is a SmPL conjunction (which contains duplicate SmPL code) really needed for\n> such analysis approaches?\n\nYes.\n"}}
{"actor":{"display_login":"JuliaLawall"}}