Fix library specification of calloc()
commit1fc55852d20cdb53dc94e5148a4f4eb4915fe4de
authorMihail Groza <unlupdestepa@gmail.com>
Thu, 2 Mar 2017 12:15:12 +0000 (2 12:15 +0000)
committerMihail Groza <unlupdestepa@gmail.com>
Thu, 2 Mar 2017 12:15:12 +0000 (2 12:15 +0000)
tree65ac8bc97696bea4aff15f967dbad2d87d0d1c10
parentb431b464c846410bd5d44bed37925f53e1fb2c50
Fix library specification of calloc()

There was an inconsistency between the specification of the output type
of malloc() and calloc() -- calloc lacked an out attribute. This caused
some strange inconsistency between memory allocated with calloc() and
that allocated with malloc().

Should fix https://sourceforge.net/p/splint/bugs/13.
lib/standard.h
lib/stdlib.h
test/tests2.4.expect
test/tests2.4/Makefile