{"action":"opened","issue":{"url":"https://api.github.com/repos/dreal/dreal4/issues/55","repository_url":"https://api.github.com/repos/dreal/dreal4","labels_url":"https://api.github.com/repos/dreal/dreal4/issues/55/labels{/name}","comments_url":"https://api.github.com/repos/dreal/dreal4/issues/55/comments","events_url":"https://api.github.com/repos/dreal/dreal4/issues/55/events","html_url":"https://github.com/dreal/dreal4/issues/55","id":302092857,"number":55,"title":"Potential memory-leak from ibex_mistral_Bitset.h?","user":{"login":"soonho-tri","id":20779767,"avatar_url":"https://avatars3.githubusercontent.com/u/20779767?v=4","gravatar_id":"","url":"https://api.github.com/users/soonho-tri","html_url":"https://github.com/soonho-tri","followers_url":"https://api.github.com/users/soonho-tri/followers","following_url":"https://api.github.com/users/soonho-tri/following{/other_user}","gists_url":"https://api.github.com/users/soonho-tri/gists{/gist_id}","starred_url":"https://api.github.com/users/soonho-tri/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/soonho-tri/subscriptions","organizations_url":"https://api.github.com/users/soonho-tri/orgs","repos_url":"https://api.github.com/users/soonho-tri/repos","events_url":"https://api.github.com/users/soonho-tri/events{/privacy}","received_events_url":"https://api.github.com/users/soonho-tri/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"soonho-tri","id":20779767,"avatar_url":"https://avatars3.githubusercontent.com/u/20779767?v=4","gravatar_id":"","url":"https://api.github.com/users/soonho-tri","html_url":"https://github.com/soonho-tri","followers_url":"https://api.github.com/users/soonho-tri/followers","following_url":"https://api.github.com/users/soonho-tri/following{/other_user}","gists_url":"https://api.github.com/users/soonho-tri/gists{/gist_id}","starred_url":"https://api.github.com/users/soonho-tri/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/soonho-tri/subscriptions","organizations_url":"https://api.github.com/users/soonho-tri/orgs","repos_url":"https://api.github.com/users/soonho-tri/repos","events_url":"https://api.github.com/users/soonho-tri/events{/privacy}","received_events_url":"https://api.github.com/users/soonho-tri/received_events","type":"User","site_admin":false},"assignees":[{"login":"soonho-tri","id":20779767,"avatar_url":"https://avatars3.githubusercontent.com/u/20779767?v=4","gravatar_id":"","url":"https://api.github.com/users/soonho-tri","html_url":"https://github.com/soonho-tri","followers_url":"https://api.github.com/users/soonho-tri/followers","following_url":"https://api.github.com/users/soonho-tri/following{/other_user}","gists_url":"https://api.github.com/users/soonho-tri/gists{/gist_id}","starred_url":"https://api.github.com/users/soonho-tri/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/soonho-tri/subscriptions","organizations_url":"https://api.github.com/users/soonho-tri/orgs","repos_url":"https://api.github.com/users/soonho-tri/repos","events_url":"https://api.github.com/users/soonho-tri/events{/privacy}","received_events_url":"https://api.github.com/users/soonho-tri/received_events","type":"User","site_admin":false}],"milestone":null,"comments":0,"created_at":"2018-03-04T15:07:01Z","updated_at":"2018-03-04T15:07:01Z","closed_at":null,"author_association":"OWNER","body":"Output from clang-tidy:\r\n```\r\n/usr/local/opt/ibex@2.6.5/include/ibex/ibex_mistral_Bitset.h:264:2: warning: Potential memory leak [clang-analyzer-cplusplus.NewDeleteLeaks]\r\n        }\r\n        ^\r\n/Users/soonho.kong/work/dreal4/dreal/contractor/contractor_join.cc:27:20: note: Calling implicit copy constructor for 'ContractorStatus'\r\n  ContractorStatus saved_original{*cs};\r\n                   ^\r\n/Users/soonho.kong/work/dreal4/dreal/contractor/contractor_join.cc:27:20: note: Calling copy constructor for 'BitSet'\r\n/usr/local/opt/ibex@2.6.5/include/ibex/ibex_BitSet.h:189:42: note: Calling copy constructor for 'Bitset'\r\ninline BitSet::BitSet(const BitSet& b) : bitset(b.bitset) { }\r\n                                         ^\r\n/usr/local/opt/ibex@2.6.5/include/ibex/ibex_mistral_Bitset.h:250:3: note: Calling 'Bitset::clone'\r\n                clone( s );\r\n                ^\r\n/usr/local/opt/ibex@2.6.5/include/ibex/ibex_mistral_Bitset.h:254:3: note: Taking false branch\r\n                if(table) {\r\n                ^\r\n/usr/local/opt/ibex@2.6.5/include/ibex/ibex_mistral_Bitset.h:260:11: note: Memory is allocated\r\n                table = new WORD_TYPE[pos_words-neg_words];\r\n                        ^\r\n/usr/local/opt/ibex@2.6.5/include/ibex/ibex_mistral_Bitset.h:264:2: note: Potential memory leak\r\n        }\r\n        ^\r\n```"}}
{"actor":{"display_login":"soonho-tri"}}