]> git.ipfire.org Git - thirdparty/coreutils.git/commit
maint: add assertions to placate static analysis tools
authorJim Meyering <meyering@redhat.com>
Mon, 14 May 2012 13:44:41 +0000 (15:44 +0200)
committerJim Meyering <meyering@redhat.com>
Wed, 16 May 2012 05:36:26 +0000 (07:36 +0200)
commit1ab163ec071130aef814c262f109b1ac4721d054
tree7ebd7e23c8036d0b477e018903eaee2f88ec38d3
parent0863f018f0fe970ffdb9cc2267a50c018d3944c5
maint: add assertions to placate static analysis tools

A static analysis tool (http://labs.oracle.com/projects/parfait/)
produced some false positive diagnostics.  Add assertions to help
it understand that the code is correct.
* src/stty.c: Include <assert.h>.
(display_changed): Add an assertion to placate parfait.
(display_all): Likewise.
* src/sort.c: Include <assert.h>.
(main): Add an assertion to placate parfait.
* src/fmt.c: Include <assert.h>.
(get_paragraph): Add an assertion to placate parfait.
src/fmt.c
src/sort.c
src/stty.c