{"action":"opened","issue":{"url":"https://api.github.com/repos/Microsoft/checkedc-clang/issues/165","repository_url":"https://api.github.com/repos/Microsoft/checkedc-clang","labels_url":"https://api.github.com/repos/Microsoft/checkedc-clang/issues/165/labels{/name}","comments_url":"https://api.github.com/repos/Microsoft/checkedc-clang/issues/165/comments","events_url":"https://api.github.com/repos/Microsoft/checkedc-clang/issues/165/events","html_url":"https://github.com/Microsoft/checkedc-clang/issues/165","id":209615643,"number":165,"title":"Remove \"inbounds\" keyword from generated GEP instructions in bounds checks","user":{"login":"lenary","id":14548,"avatar_url":"https://avatars.githubusercontent.com/u/14548?v=3","gravatar_id":"","url":"https://api.github.com/users/lenary","html_url":"https://github.com/lenary","followers_url":"https://api.github.com/users/lenary/followers","following_url":"https://api.github.com/users/lenary/following{/other_user}","gists_url":"https://api.github.com/users/lenary/gists{/gist_id}","starred_url":"https://api.github.com/users/lenary/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lenary/subscriptions","organizations_url":"https://api.github.com/users/lenary/orgs","repos_url":"https://api.github.com/users/lenary/repos","events_url":"https://api.github.com/users/lenary/events{/privacy}","received_events_url":"https://api.github.com/users/lenary/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"lenary","id":14548,"avatar_url":"https://avatars.githubusercontent.com/u/14548?v=3","gravatar_id":"","url":"https://api.github.com/users/lenary","html_url":"https://github.com/lenary","followers_url":"https://api.github.com/users/lenary/followers","following_url":"https://api.github.com/users/lenary/following{/other_user}","gists_url":"https://api.github.com/users/lenary/gists{/gist_id}","starred_url":"https://api.github.com/users/lenary/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lenary/subscriptions","organizations_url":"https://api.github.com/users/lenary/orgs","repos_url":"https://api.github.com/users/lenary/repos","events_url":"https://api.github.com/users/lenary/events{/privacy}","received_events_url":"https://api.github.com/users/lenary/received_events","type":"User","site_admin":false},"assignees":[{"login":"lenary","id":14548,"avatar_url":"https://avatars.githubusercontent.com/u/14548?v=3","gravatar_id":"","url":"https://api.github.com/users/lenary","html_url":"https://github.com/lenary","followers_url":"https://api.github.com/users/lenary/followers","following_url":"https://api.github.com/users/lenary/following{/other_user}","gists_url":"https://api.github.com/users/lenary/gists{/gist_id}","starred_url":"https://api.github.com/users/lenary/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lenary/subscriptions","organizations_url":"https://api.github.com/users/lenary/orgs","repos_url":"https://api.github.com/users/lenary/repos","events_url":"https://api.github.com/users/lenary/events{/privacy}","received_events_url":"https://api.github.com/users/lenary/received_events","type":"User","site_admin":false}],"milestone":null,"comments":0,"created_at":"2017-02-22T23:30:34Z","updated_at":"2017-02-22T23:30:34Z","closed_at":null,"body":"LLVM IR's \"getelementptr\" (aka GEP) instruction has an 'inbounds' attribute that allows the code generator to turn the result into 'undef' if it can prove the index is out of bounds and not one past the end of the array.\r\n\r\nWe need to remove this attribute on GEP instructions which we generate to compute the upper and lower bound addresses of an expression, so that the compiler can never replace them with 'undef'"}}
{"actor":{"display_login":"lenary"}}