analyzer: fix -Wanalyzer-va-arg-type-mismatch false +ve on int types [PR111289]

analyzer: fix -Wanalyzer-va-arg-type-mismatch false +ve on int types [PR111289]

gcc/analyzer/ChangeLog:
	PR analyzer/111289
	* varargs.cc (representable_in_integral_type_p): New.
	(va_arg_compatible_types_p): Add "arg_sval" param.  Handle integer
	types.
	(kf_va_arg::impl_call_pre): Pass arg_sval to
	va_arg_compatible_types_p.

gcc/testsuite/ChangeLog:
	PR analyzer/111289
	* c-c++-common/analyzer/stdarg-pr111289-int.c: New test.
	* c-c++-common/analyzer/stdarg-pr111289-ptr.c: New test.

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