On 12/31/2017 09:38 PM, Michele Pezzutti wrote:
Hi.
This patch intends to fix Bug 83566 - cyl_bessel_j returns wrong
result for x>1000 for high orders.
Seehttps://gcc.gnu.org/bugzilla/show_bug.cgi?id=83566 forissue
description.
* libstdc++-v3/include/tr1/bessel_function.tcc
Series
On 12/31/2017 09:38 PM, Michele Pezzutti wrote:
Hi.
This patch intends to fix Bug 83566 - cyl_bessel_j returns wrong
result for x>1000 for high orders.
Seehttps://gcc.gnu.org/bugzilla/show_bug.cgi?id=83566 forissue
description.
* libstdc++-v3/include/tr1/bessel_function.tcc
Series
The -Wrestrict code assumes that built-ins are called with
the correct number of arguments. When this isn't so it
crashes. The attached patch avoids the ICE due to this
error.
There are outstanding assumptions that the type of actual
arguments to built-ins declared without a prototype matches
t
Among the recent -Wattributes enhancements is to diagnose
declarations of void functions with attribute const or pure.
Declaring a void function const or pure means that calls to
the function have no effect and could be (and, with
optimization, are) eliminated. Thus the attribute on such
a functi
The ICE in the test case submitted in PR tree-optimization/83640
is triggered by the tree-ssa-strlen pass transforming calls to
strcat to strcpy with an offset pointing to the terminating NUL
of the destination string, and allowing the upper bound of the
offset's range to exceed PTRDIFF_MAX by the
PR tree-optimization/83640 - ice in generic_overlap at
gimple-ssa-warn-restrict.c:814 highlights out a class of cases
where the -Wrestrict checker assumes that the range of a pointer
offset that us represented by a VR_RANGE has a lower bound that
is less than its upper bound. The pass asserts tha
Committed to trunk as revision 256065.
Damian, it would be good if you would confirm that there are no issues
with applying the patch to 7-branch.
Thanks for all the help.
Paul
On 28 December 2017 at 19:58, Damian Rouson
wrote:
> I applied the patch the trunk and confirmed that it doesn’t brea
