extend.texi (__builtin_add_overflow_p): Clarify behavior when last argument is a...

	* doc/extend.texi (__builtin_add_overflow_p): Clarify behavior when
	last argument is a bit-field.

From-SVN: r237816

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 338c60331d03b5b45328439484fe5285b23bbe73..4e833d478a621d398765ebb884d8efb2c294a907 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,8 @@
 2016-06-28  Jakub Jelinek  <jakub@redhat.com>
 
+       * doc/extend.texi (__builtin_add_overflow_p): Clarify behavior when
+       last argument is a bit-field.
+
        PR rtl-optimization/71673
        * internal-fn.c (expand_arith_overflow_result_store): Use
        OPTAB_LIB_WIDEN instead of OPTAB_DIRECT as last argument to

diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi
index 9c8ea8374562915d48a3365e51802dd7c1fdf038..b5f6e12f8be4568cb721b6b827647da8f0b580ba 100644 (file)
--- a/gcc/doc/extend.texi
+++ b/gcc/doc/extend.texi
@@ -9888,6 +9888,9 @@ cast to the type of the third argument.  If the cast result is equal to the infi
 precision result, the built-in functions return false, otherwise they return true.
 The value of the third argument is ignored, just the side-effects in the third argument
 are evaluated, and no integral argument promotions are performed on the last argument.
+If the third argument is a bit-field, the type used for the result cast has the
+precision and signedness of the given bit-field, rather than precision and signedness
+of the underlying type.
 
 For example, the following macro can be used to portably check, at
 compile-time, whether or not adding two constant integers will overflow,