tree 1b47f274aa930a4fec319845b4d56bea26fd6c12
parent 12a4785c9120beeef42f1bded52cc2674e206f57
author David Malcolm <dmalcolm@redhat.com> 1669075698 -0500
committer David Malcolm <dmalcolm@redhat.com> 1669075698 -0500

analyzer: fix ICE on 'bind' that returns a struct [PR107788]

gcc/analyzer/ChangeLog:
	PR analyzer/107788
	* region-model.cc (region_model::update_for_int_cst_return):
	Require that the return type be an integer type.
	(region_model::update_for_nonzero_return): Likewise.

gcc/testsuite/ChangeLog:
	PR analyzer/107788
	* g++.dg/analyzer/fd-bind-pr107783.C: New test.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>