[Bug c++/102960] New: ICE: in sign_mask, at wide-int.h:855 in GCC 10.3.0

2021-10-27 Thread pnarsing at mathworks dot com via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102960

Bug ID: 102960
   Summary: ICE: in sign_mask, at wide-int.h:855 in GCC 10.3.0
   Product: gcc
   Version: 10.3.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c++
  Assignee: unassigned at gcc dot gnu.org
  Reporter: pnarsing at mathworks dot com
  Target Milestone: ---

Created attachment 51675
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51675&action=edit
preprocessed output of cpp file causing ice

On compiling cpp file with -Og flag I'm getting ICE coming from wide-int.h 

Attaching preprocessed file with this bug report .

To reproduce the issue 
g++ -c RangeDisplay.cpp -Og 


Stack for ICE :
 internal compiler error: in sign_mask, at wide-int.h:855
   89 | char const* RangeDisplay::toString(StringBuffer& aStringBuffer) const {
  | ^~~~
0x5ea99c generic_wide_int >::sign_mask()
const
   
/mathworks/devel/sandbox/pnarsing/3p-internal-AH3/3p/sources/gcc-10.3/gcc/wide-int.h:855
0x6488cd generic_wide_int >::sign_mask()
const
   
/mathworks/devel/sandbox/pnarsing/3p-internal-AH3/3p/sources/gcc-10.3/gcc/wide-int.h:1898
0x6488cd bool wi::neg_p >
>(generic_wide_int > const&, signop)
   
/mathworks/devel/sandbox/pnarsing/3p-internal-AH3/3p/sources/gcc-10.3/gcc/wide-int.h:1836
0x6488cd bool wi::lts_p >,
generic_wide_int >
>(generic_wide_int > const&,
generic_wide_int > const&)
   
/mathworks/devel/sandbox/pnarsing/3p-internal-AH3/3p/sources/gcc-10.3/gcc/wide-int.h:1914
0xdda1ad wi::binary_traits >,
generic_wide_int >,
wi::int_traits > >::precision_type,
wi::int_traits >
>::precision_type>::signed_predicate_result operator<
 >,
generic_wide_int >
>(generic_wide_int > const&,
generic_wide_int > const&)
   
/mathworks/devel/sandbox/pnarsing/3p-internal-AH3/3p/sources/gcc-10.3/gcc/wide-int.h:3248
0xdda1ad tree_int_cst_lt(tree_node const*, tree_node const*)
   
/mathworks/devel/sandbox/pnarsing/3p-internal-AH3/3p/sources/gcc-10.3/gcc/tree.h:6105
0xdda1ad get_range_strlen_dynamic
   
/mathworks/devel/sandbox/pnarsing/3p-internal-AH3/3p/sources/gcc-10.3/gcc/tree-ssa-strlen.c:1067
0xdda591 get_range_strlen_dynamic(tree_node*, c_strlen_data*, vr_values const*)
   
/mathworks/devel/sandbox/pnarsing/3p-internal-AH3/3p/sources/gcc-10.3/gcc/tree-ssa-strlen.c:1211
0x1447d13 get_string_length
   
/mathworks/devel/sandbox/pnarsing/3p-internal-AH3/3p/sources/gcc-10.3/gcc/gimple-ssa-sprintf.c:2029
0x1447d13 format_string
   
/mathworks/devel/sandbox/pnarsing/3p-internal-AH3/3p/sources/gcc-10.3/gcc/gimple-ssa-sprintf.c:2466
0x1449a98 format_directive
   
/mathworks/devel/sandbox/pnarsing/3p-internal-AH3/3p/sources/gcc-10.3/gcc/gimple-ssa-sprintf.c:3059
0x1449a98 compute_format_length
   
/mathworks/devel/sandbox/pnarsing/3p-internal-AH3/3p/sources/gcc-10.3/gcc/gimple-ssa-sprintf.c:4002
0x1449a98 handle_printf_call(gimple_stmt_iterator*, vr_values const*)
   
/mathworks/devel/sandbox/pnarsing/3p-internal-AH3/3p/sources/gcc-10.3/gcc/gimple-ssa-sprintf.c:4683
0xde0fab strlen_check_and_optimize_call
   
/mathworks/devel/sandbox/pnarsing/3p-internal-AH3/3p/sources/gcc-10.3/gcc/tree-ssa-strlen.c:5463
0xde0fab check_and_optimize_stmt
   
/mathworks/devel/sandbox/pnarsing/3p-internal-AH3/3p/sources/gcc-10.3/gcc/tree-ssa-strlen.c:5631
0xde0fab strlen_dom_walker::before_dom_children(basic_block_def*)
   
/mathworks/devel/sandbox/pnarsing/3p-internal-AH3/3p/sources/gcc-10.3/gcc/tree-ssa-strlen.c:5864
0x140c237 dom_walker::walk(basic_block_def*)
   
/mathworks/devel/sandbox/pnarsing/3p-internal-AH3/3p/sources/gcc-10.3/gcc/domwalk.c:309
0xdd7e2e printf_strlen_execute
   
/mathworks/devel/sandbox/pnarsing/3p-internal-AH3/3p/sources/gcc-10.3/gcc/tree-ssa-strlen.c:5930
Please submit a full bug report,
with preprocessed source if appropriate.

[Bug tree-optimization/101508] New: Possible undefined behaviour in cpp program using "unsigned" type starting from GCC 9

2021-07-19 Thread pnarsing at mathworks dot com via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101508

Bug ID: 101508
   Summary: Possible undefined behaviour in cpp program using
"unsigned" type starting from GCC 9
   Product: gcc
   Version: 10.3.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: pnarsing at mathworks dot com
  Target Milestone: ---

Hi Team,

I'm observing an optimization issue while compiling with GCC 10.3 .
On investigating figured that issue is reproducible in GCC 9 as well .

This can be reproduced by simple test code mentioned below :

--

using int_type = unsigned int; // works without "unsigned"
int_type constexpr start{0};   // works if >= 1
int_type constexpr stop{3};// works if <= 2
int_type constexpr mult{2};// works if != 2

int main()
{
int result = 0;
for(int_type aa = start; aa < stop; ++aa)
{
int_type const bb = aa * mult; // works if volatile
if (aa > bb)
{
return 99;
}
++result;
}
return result; // should be == stop
}



This code snippet returns 99 instead of 3 .

You can check the following link to see the issue reproducibility:
https://godbolt.org/z/zd79PPKfn

Modifying compiler option to -O1 and -Og avoids the issue.