{"action":"opened","issue":{"url":"https://api.github.com/repos/kelloggm/checker-framework/issues/39","repository_url":"https://api.github.com/repos/kelloggm/checker-framework","labels_url":"https://api.github.com/repos/kelloggm/checker-framework/issues/39/labels{/name}","comments_url":"https://api.github.com/repos/kelloggm/checker-framework/issues/39/comments","events_url":"https://api.github.com/repos/kelloggm/checker-framework/issues/39/events","html_url":"https://github.com/kelloggm/checker-framework/issues/39","id":193598666,"number":39,"title":"Pre Decrememt doesn't warn properly","user":{"login":"jsantino","id":17032436,"avatar_url":"https://avatars.githubusercontent.com/u/17032436?v=3","gravatar_id":"","url":"https://api.github.com/users/jsantino","html_url":"https://github.com/jsantino","followers_url":"https://api.github.com/users/jsantino/followers","following_url":"https://api.github.com/users/jsantino/following{/other_user}","gists_url":"https://api.github.com/users/jsantino/gists{/gist_id}","starred_url":"https://api.github.com/users/jsantino/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jsantino/subscriptions","organizations_url":"https://api.github.com/users/jsantino/orgs","repos_url":"https://api.github.com/users/jsantino/repos","events_url":"https://api.github.com/users/jsantino/events{/privacy}","received_events_url":"https://api.github.com/users/jsantino/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2016-12-05T20:13:47Z","updated_at":"2016-12-05T20:13:47Z","closed_at":null,"body":"predecrement in an array access does not give a warning but should\r\n\r\n```\r\n  void pre1(int [] args) {\r\n    int ii = 0;\r\n    while ((ii < args.length)) {\r\n      //:: warning: (array.access.unsafe.high)\r\n      int m = args[++ii];\r\n    }\r\n  }\r\n```"}}
{"actor":{"display_login":"jsantino"}}