{"action":"closed","issue":{"url":"https://api.github.com/repos/smackers/smack/issues/247","repository_url":"https://api.github.com/repos/smackers/smack","labels_url":"https://api.github.com/repos/smackers/smack/issues/247/labels{/name}","comments_url":"https://api.github.com/repos/smackers/smack/issues/247/comments","events_url":"https://api.github.com/repos/smackers/smack/issues/247/events","html_url":"https://github.com/smackers/smack/issues/247","id":243271934,"number":247,"title":"Unused variables in SignedIntegerOverflowChecker","user":{"login":"zvonimir","id":1040926,"avatar_url":"https://avatars3.githubusercontent.com/u/1040926?v=4","gravatar_id":"","url":"https://api.github.com/users/zvonimir","html_url":"https://github.com/zvonimir","followers_url":"https://api.github.com/users/zvonimir/followers","following_url":"https://api.github.com/users/zvonimir/following{/other_user}","gists_url":"https://api.github.com/users/zvonimir/gists{/gist_id}","starred_url":"https://api.github.com/users/zvonimir/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/zvonimir/subscriptions","organizations_url":"https://api.github.com/users/zvonimir/orgs","repos_url":"https://api.github.com/users/zvonimir/repos","events_url":"https://api.github.com/users/zvonimir/events{/privacy}","received_events_url":"https://api.github.com/users/zvonimir/received_events","type":"User","site_admin":false},"labels":[{"id":27615391,"url":"https://api.github.com/repos/smackers/smack/labels/refactoring","name":"refactoring","color":"e102d8","default":false}],"state":"closed","locked":false,"assignee":{"login":"shaobo-he","id":5892703,"avatar_url":"https://avatars1.githubusercontent.com/u/5892703?v=4","gravatar_id":"","url":"https://api.github.com/users/shaobo-he","html_url":"https://github.com/shaobo-he","followers_url":"https://api.github.com/users/shaobo-he/followers","following_url":"https://api.github.com/users/shaobo-he/following{/other_user}","gists_url":"https://api.github.com/users/shaobo-he/gists{/gist_id}","starred_url":"https://api.github.com/users/shaobo-he/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/shaobo-he/subscriptions","organizations_url":"https://api.github.com/users/shaobo-he/orgs","repos_url":"https://api.github.com/users/shaobo-he/repos","events_url":"https://api.github.com/users/shaobo-he/events{/privacy}","received_events_url":"https://api.github.com/users/shaobo-he/received_events","type":"User","site_admin":false},"assignees":[{"login":"shaobo-he","id":5892703,"avatar_url":"https://avatars1.githubusercontent.com/u/5892703?v=4","gravatar_id":"","url":"https://api.github.com/users/shaobo-he","html_url":"https://github.com/shaobo-he","followers_url":"https://api.github.com/users/shaobo-he/followers","following_url":"https://api.github.com/users/shaobo-he/following{/other_user}","gists_url":"https://api.github.com/users/shaobo-he/gists{/gist_id}","starred_url":"https://api.github.com/users/shaobo-he/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/shaobo-he/subscriptions","organizations_url":"https://api.github.com/users/shaobo-he/orgs","repos_url":"https://api.github.com/users/shaobo-he/repos","events_url":"https://api.github.com/users/shaobo-he/events{/privacy}","received_events_url":"https://api.github.com/users/shaobo-he/received_events","type":"User","site_admin":false}],"milestone":null,"comments":0,"created_at":"2017-07-16T22:46:35Z","updated_at":"2017-08-18T20:38:49Z","closed_at":"2017-08-18T20:38:49Z","body":"Apparently there are two unused variables in SignedIntegerOverflowChecker that cause warnings to be reported:\r\n```\r\n/home/zvonimir/projects/smack-project/smack/src/lib/smack/SignedIntegerOverflowChecker.cpp:100:23: warning: unused variable 'ci' [-Wunused-variable]\r\n            CallInst* ci = CallInst::Create(co, {tf}, \"\", &*I);\r\n                      ^\r\n/home/zvonimir/projects/smack-project/smack/src/lib/smack/SignedIntegerOverflowChecker.cpp:39:15: warning: unused variable 'dataLayout' [-Wunused-variable]\r\n  DataLayout* dataLayout = new DataLayout(&m);\r\n              ^\r\n```\r\nIt would be good to clean this up."}}
{"actor":{"display_login":"shaobo-he"}}