A bug?

[berni via Digitalmars-d-learn]

I'm not sure if this is considered a bug:

import std.stdio;
import std.string;

int c = 0;

void main()
{

   try {
       write(++c," ");
       stdout.flush();
       int[100000] tmp;
       throw new Exception(format("%s",tmp));
   } finally
   {
       main();
   }
}

Output:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 Segmentation fault