https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93375

            Bug ID: 93375
           Summary: ICE in gimple_call_arg, at gimple.h:3258
           Product: gcc
           Version: 10.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code
          Severity: normal
          Priority: P3
         Component: analyzer
          Assignee: dmalcolm at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---

gcc-10.0.0-alpha20200119 snapshot (g:3684bbb022cd75da55e1457673f269980aa12cdf)
ICEs when compiling the following testcase w/ -fanalyzer:

void
en (jm)
{
}

void
p2 ()
{
  char *rl = 0;

  en ();
  __builtin_memcpy (rl, 0, sizeof (0));
}

% gcc-10.0.0-alpha20200119 -fanalyzer -w -c qm3eevtp.c
during IPA pass: analyzer
cc1: internal compiler error: in gimple_call_arg, at gimple.h:3258
0x71c0a7 gimple_call_arg
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/gimple.h:3258
0x71c0a7 gimple_call_arg
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/gimple.h:3256
0x71c0a7 callgraph_superedge::get_parm_for_arg(tree_node*, callsite_expr*)
const
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/supergraph.cc:912
0x1116931 callgraph_superedge::map_expr_from_caller_to_callee(tree_node*,
callsite_expr*) const
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/supergraph.cc:934
0x17acac4 diagnostic_manager::prune_for_sm_diagnostic(checker_path*,
state_machine const*, tree_node*, unsigned int) const
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/diagnostic-manager.cc:1143
0x17acf0e diagnostic_manager::prune_path(checker_path*, state_machine const*,
tree_node*, unsigned int) const
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/diagnostic-manager.cc:936
0x17ad0be diagnostic_manager::emit_saved_diagnostic(exploded_graph const&,
saved_diagnostic const&, exploded_path const&, gimple const*, int)
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/diagnostic-manager.cc:477
0x17aef9d dedupe_winners::emit_best(diagnostic_manager*, exploded_graph const&)
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/diagnostic-manager.cc:408
0x17ad442 diagnostic_manager::emit_saved_diagnostics(exploded_graph const&)
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/diagnostic-manager.cc:451
0x10e305e impl_run_checkers(logger*)
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:3584
0x10e3ad3 run_checkers()
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/engine.cc:3624
0x10d9558 execute
       
/var/tmp/portage/sys-devel/gcc-10.0.0_alpha20200119/work/gcc-10-20200119/gcc/analyzer/analyzer-pass.cc:84

Reply via email to