updated smatch

commit
git commit