ref-passed-variables-inited.cocci
No OneTemporary
Actions

Size

1 KB

Referenced Files

None

Subscribers

None

ref-passed-variables-inited.cocci
View Options

	/*
	* Copyright 2019-2020 the Pacemaker project contributors
	*
	* The version control history for this file may have further details.
	*
	* This source code is licensed under the GNU General Public License version 2
	* or later (GPLv2+) WITHOUT ANY WARRANTY.
	*
	*
	* We require each local variable that
	*
	* - is passed to a function through a dereference (suggesting it serves
	* possibly also or merely as one of the output value propagators seperate
	* from actual return value if employed at all) and
	*
	* - is then subsequently reused (possibly naively expecting it will always
	* have been initialized (in said function at latest) further in its scope,
	*
	* to _always_ be assuredly initialized to some determined value, so as to
	* prevent a risk of accidentally accessing unspecified value subsequent
	* to the return from the considered function, which might not have set
	* that variable at all, lest it would touch it at all.
	*/

	virtual internal

	@ref_passed_variables_inited exists@
	identifier f_init, f_consume, var;
	type T;
	expression E, E_propagate;
	@@

	T
	- var
	+ var /FIXME:initialize me/
	;
	... when != var = E
	f_init(..., &var, ...)
	... when != var = E
	(
	return var;
	\|
	f_consume(..., var, ...)
	\|
	E_propagate = var
	\|
	&var
	\|
	*var
	)