sourceware.org Git - valgrind.git/commit

]> sourceware.org Git - valgrind.git/commit

git://sourceware.org / valgrind.git / commit

author	Paul Floyd <pjfloyd@wanadoo.fr>
	Fri, 10 Mar 2023 20:55:14 +0000 (21:55 +0100)
committer	Paul Floyd <pjfloyd@wanadoo.fr>
	Fri, 10 Mar 2023 20:55:14 +0000 (21:55 +0100)
commit	50bded71b23cb11a8b6c1b6eaf6e3abcc05a06c2
tree	998a91cb2a38b433a00190c451b6f59697bc7c3f	tree
parent	4af62304d95701ed110f4ba89c5a9ceeb0255393	commit \| diff

Bug 436413 - Warn about realloc of size zero

Adds a new warning to memcheck when realloc is used with a size of 0.
For a long time this has been "implementation defined" and so
non-portable. With C23 it will become UB.

Also adds a switch to turn off the error generation and a
second switch to select between the most common
"implementation" behaviours. The defaults for this second
switch are baked in at build time.

51 files changed:

.gitignore		diff \| blob \| blame \| history
NEWS		diff \| blob \| blame \| history
coregrind/m_main.c		diff \| blob \| blame \| history
coregrind/m_replacemalloc/replacemalloc_core.c		diff \| blob \| blame \| history
coregrind/m_replacemalloc/vg_replace_malloc.c		diff \| blob \| blame \| history
coregrind/m_scheduler/scheduler.c		diff \| blob \| blame \| history
coregrind/pub_core_replacemalloc.h		diff \| blob \| blame \| history
dhat/dh_main.c		diff \| blob \| blame \| history
docs/xml/manual-core.xml		diff \| blob \| blame \| history
drd/drd_malloc_wrappers.c		diff \| blob \| blame \| history
drd/tests/memory_allocation.c		diff \| blob \| blame \| history
helgrind/hg_main.c		diff \| blob \| blame \| history
include/pub_tool_replacemalloc.h		diff \| blob \| blame \| history
massif/ms_main.c		diff \| blob \| blame \| history
massif/tests/realloc.post.exp		diff \| blob \| blame \| history
massif/tests/realloc.vgtest		diff \| blob \| blame \| history
memcheck/docs/mc-manual.xml		diff \| blob \| blame \| history
memcheck/mc_errors.c		diff \| blob \| blame \| history
memcheck/mc_include.h		diff \| blob \| blame \| history
memcheck/mc_main.c		diff \| blob \| blame \| history
memcheck/mc_malloc_wrappers.c		diff \| blob \| blame \| history
memcheck/tests/Makefile.am		diff \| blob \| blame \| history
memcheck/tests/amd64-freebsd/reallocf.c		diff \| blob \| blame \| history
memcheck/tests/amd64-freebsd/reallocf.stderr.exp		diff \| blob \| blame \| history
memcheck/tests/freebsd/static_allocs.stderr.exp		diff \| blob \| blame \| history
memcheck/tests/realloc_size_zero.c	[new file with mode: 0644]	blob
memcheck/tests/realloc_size_zero.stderr.exp	[new file with mode: 0644]	blob
memcheck/tests/realloc_size_zero.stdout.exp-glibc	[new file with mode: 0644]	blob
memcheck/tests/realloc_size_zero.stdout.exp-other	[new file with mode: 0644]	blob
memcheck/tests/realloc_size_zero.supp	[new file with mode: 0644]	blob
memcheck/tests/realloc_size_zero.vgtest	[new file with mode: 0644]	blob
memcheck/tests/realloc_size_zero_mismatch.cpp	[new file with mode: 0644]	blob
memcheck/tests/realloc_size_zero_mismatch.stderr.exp	[new file with mode: 0644]	blob
memcheck/tests/realloc_size_zero_mismatch.stdout.exp	[new file with mode: 0644]	blob
memcheck/tests/realloc_size_zero_mismatch.vgtest	[new file with mode: 0644]	blob
memcheck/tests/realloc_size_zero_no.stderr.exp	[new file with mode: 0644]	blob
memcheck/tests/realloc_size_zero_no.stdout.exp	[new file with mode: 0644]	blob
memcheck/tests/realloc_size_zero_no.vgtest	[new file with mode: 0644]	blob
memcheck/tests/realloc_size_zero_off.stderr.exp	[new file with mode: 0644]	blob
memcheck/tests/realloc_size_zero_off.stdout.exp	[new file with mode: 0644]	blob
memcheck/tests/realloc_size_zero_off.vgtest	[new file with mode: 0644]	blob
memcheck/tests/realloc_size_zero_supp.stderr.exp	[new file with mode: 0644]	blob
memcheck/tests/realloc_size_zero_supp.stdout.exp	[new file with mode: 0644]	blob
memcheck/tests/realloc_size_zero_supp.vgtest	[new file with mode: 0644]	blob
memcheck/tests/realloc_size_zero_yes.stderr.exp	[new file with mode: 0644]	blob
memcheck/tests/realloc_size_zero_yes.stdout.exp	[new file with mode: 0644]	blob
memcheck/tests/realloc_size_zero_yes.vgtest	[new file with mode: 0644]	blob
none/tests/cmdline1.stdout.exp		diff \| blob \| blame \| history
none/tests/cmdline1.stdout.exp-non-linux		diff \| blob \| blame \| history
none/tests/cmdline2.stdout.exp		diff \| blob \| blame \| history
none/tests/cmdline2.stdout.exp-non-linux		diff \| blob \| blame \| history

Valgrind: Instrumentation framework for building dynamic analysis tools.

RSS Atom

This page took 0.040474 seconds and 5 git commands to generate.