Skip to content

Fix some minor issues found by Coverity #1080

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 9, 2015
Merged

Conversation

nulltoken
Copy link
Member

@whoisj beat me to it with #1079. So this PR has been reduced to some very low-hanging fruits.

Although the risk of hitting a null in these specific cases is quasi non-existent, this should however reduce the number of findings.

@whoisj
Copy link

whoisj commented Jun 9, 2015

👍

nulltoken added a commit that referenced this pull request Jun 9, 2015
Fix some minor issues found by Coverity
@nulltoken nulltoken merged commit 3010f83 into vNext Jun 9, 2015
@nulltoken nulltoken deleted the ntk/coverity_fixes branch June 9, 2015 19:06
@nulltoken nulltoken added this to the v0.22 milestone Jun 9, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants