{"action":"created","issue":{"url":"https://api.github.com/repos/mchalupa/dg/issues/118","repository_url":"https://api.github.com/repos/mchalupa/dg","labels_url":"https://api.github.com/repos/mchalupa/dg/issues/118/labels{/name}","comments_url":"https://api.github.com/repos/mchalupa/dg/issues/118/comments","events_url":"https://api.github.com/repos/mchalupa/dg/issues/118/events","html_url":"https://github.com/mchalupa/dg/issues/118","id":191838286,"number":118,"title":"Flow Sensitive analysis seems broken within loops","user":{"login":"thierry-tct","id":5491281,"avatar_url":"https://avatars.githubusercontent.com/u/5491281?v=3","gravatar_id":"","url":"https://api.github.com/users/thierry-tct","html_url":"https://github.com/thierry-tct","followers_url":"https://api.github.com/users/thierry-tct/followers","following_url":"https://api.github.com/users/thierry-tct/following{/other_user}","gists_url":"https://api.github.com/users/thierry-tct/gists{/gist_id}","starred_url":"https://api.github.com/users/thierry-tct/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/thierry-tct/subscriptions","organizations_url":"https://api.github.com/users/thierry-tct/orgs","repos_url":"https://api.github.com/users/thierry-tct/repos","events_url":"https://api.github.com/users/thierry-tct/events{/privacy}","received_events_url":"https://api.github.com/users/thierry-tct/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":6,"created_at":"2016-11-27T02:33:55Z","updated_at":"2016-11-28T13:02:40Z","closed_at":null,"body":"when printing dependency graph with the command _llvm-dg-dump -pta fs test.bc_ for the program bellow, the graph show data dependency edge between ```x.i = 3;``` and ```if(x.j)```, as well as ```arr[1] = 7;``` and ``` return arr[0];```, which is not right with flow sensitive.\r\nOnce the loop is removed by removing ```while(k--)```, the graph is fine.\r\n```\r\nstruct tmp{\r\nint i;\r\nint j;\r\n};\r\n\r\nint main()\r\n{\r\n    struct tmp x = {0,0};\r\n    int arr[]={0,0,0};\r\n    int k=20;\r\n    while(k--)\r\n    {\r\n        x.i = 3;\r\n        x.j = 1;\r\n        arr[1] = 7;\r\n    }\r\n    if(x.j)\r\n        return arr[0];\r\n    return 1;\r\n}\r\n```"},"comment":{"url":"https://api.github.com/repos/mchalupa/dg/issues/comments/263265814","html_url":"https://github.com/mchalupa/dg/issues/118#issuecomment-263265814","issue_url":"https://api.github.com/repos/mchalupa/dg/issues/118","id":263265814,"user":{"login":"thierry-tct","id":5491281,"avatar_url":"https://avatars.githubusercontent.com/u/5491281?v=3","gravatar_id":"","url":"https://api.github.com/users/thierry-tct","html_url":"https://github.com/thierry-tct","followers_url":"https://api.github.com/users/thierry-tct/followers","following_url":"https://api.github.com/users/thierry-tct/following{/other_user}","gists_url":"https://api.github.com/users/thierry-tct/gists{/gist_id}","starred_url":"https://api.github.com/users/thierry-tct/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/thierry-tct/subscriptions","organizations_url":"https://api.github.com/users/thierry-tct/orgs","repos_url":"https://api.github.com/users/thierry-tct/repos","events_url":"https://api.github.com/users/thierry-tct/events{/privacy}","received_events_url":"https://api.github.com/users/thierry-tct/received_events","type":"User","site_admin":false},"created_at":"2016-11-28T13:02:40Z","updated_at":"2016-11-28T13:02:40Z","body":"Alright, thanks.\r\n\r\nI already submitted the changes on the pull request. "}}
{"actor":{"display_login":"thierry-tct"}}