[Bug c/70874] New: Segmentation violation in tree-chkp.c chkp_walk_pointer_assignments

[zeccav at gmail dot com]

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

            Bug ID: 70874
           Summary: Segmentation violation in tree-chkp.c
                    chkp_walk_pointer_assignments
           Product: gcc
           Version: 6.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zeccav at gmail dot com
  Target Milestone: ---

/* gcc -fsanitize=undefined -fcheck-pointer-bounds -mmpx */
void f(char *a, int *b)
{
 *b = *a;
}
/*
 * p.c:5:1: internal compiler error: Segmentation fault
 *  }
 *  ^
 * 0x9caebf crash_signal
 *../../gcc-6.1.0/gcc/toplev.c:333
 *0xa4ad08 chkp_walk_pointer_assignments
 *../../gcc-6.1.0/gcc/tree-chkp.c:3725
 *0xa4c85f chkp_finish_file()
 *../../gcc-6.1.0/gcc/tree-chkp.c:3835
 *Please submit a full bug report,
 *with preprocessed source if appropriate.
 *Please include the complete backtrace with any bug report.
 *See <http://gcc.gnu.org/bugs.html> for instructions.
 */