branch scratch/pure-overflow-warn created (now def6d57669)

[Andrea Corallo]

akrl pushed a change to branch scratch/pure-overflow-warn.

        at  def6d57669 * src/alloc.c (pure_alloc): Warn for pure space overflow

This branch includes the following new commits:

       new  a7abd8f235 * src/pdumper.c (Fdump_emacs_portable): Check and warn 
for pure space overflow
       new  def6d57669 * src/alloc.c (pure_alloc): Warn for pure space overflow