On 10 October 2016 at 17:33, Eli Zaretskii <eliz@gnu.org> wrote:
> From: Reuben Thomas <rrt@sc3d.org>
> Date: Mon, 10 Oct 2016 17:12:36 +0100
> Cc: 24640@debbugs.gnu.org
>
>  I'm not sure. What compiler switches yo used, and what is your GCC
>  version?
>
> ​$ ./config.status --config
> '--enable-checking=yes,glyphs' '--enable-check-lisp-object-type' 'CFLAGS=-O2 -g3'
> 'PKG_CONFIG_PATH=/home/rrt/.local/lib/x86_64-linux-gnu/pkgconfig:/home/rrt/.local/share/pkgconfig'
> ​$​
> gcc --version
> gcc-5.real (Ubuntu 5.4.0-6ubuntu1~16.04.2) 5.4.0 20160609

It would be better to use CFLAGS='-O2 -gdwarf-4 -g3'.

​Is that something that should be mentioned in etc/DEBUG, or is it specific to the problems of debugging optimized code? (Or perhaps both!)

--