Navigator sometimes crashes during delete

[Jiri Svoboda]

When I repeatedly copy /include/something to /tmp and delete it, then once in a couple of appempts Navigator crashes:

Task /app/nav (72) killed due to an exception at program counter 0x000000007016fb94.
cs =0x0000000000000023	rip=0x000000007016fb94	rfl=0x0000000000010202	err=0x0000000000000004
ss =0x000000000000001b
rax=0x0000000000000001	rbx=0x0000000000561070	rcx=0x0000000000000040	rdx=000000000000000000
rsi=0x0000000000561070	rdi=000000000000000000	rbp=0x0000000070142830	rsp=0x0000000070142830
r8 =0x0000000000000010	r9 =0x0000000000562000	r10=0x0000000000000001	r11=0xfffffffffffffff0
r12=000000000000000000	r13=0x0000000000000040	r14=0x0000000000000010	r15=0x0000000000561070
0x0000000070142830: 0x000000007016fb94()
0x0000000070142880: 0x0000000070170186()
0x00000000701428c0: 0x0000000070170600()
0x00000000701428e0: 0x00000000701708d5()
0x0000000070142900: 0x000000007015be4a()
0x0000000070142920: 0x000000000041d64c()
0x0000000070142a40: 0x0000000000414dc8()
0x0000000070142b80: 0x000000000041b04b()
0x0000000070142c50: 0x00000000004055aa()
0x0000000070142cb0: 0x0000000000406b4f()
0x0000000070142d60: 0x0000000000417998()
0x0000000070142d90: 0x0000000000408183()
0x0000000070142dd0: 0x00000000004024b1()
0x0000000070142e10: 0x000000007016e2bd()
0x0000000070142e20: 0x0000000000409c0a()
0x0000000070142e30: 0x0000000000409b7f()
Kill message: Page fault: 0x0000000000000020.
[/srv/taskmon(47)] taskmon: Task 72 fault in thread 0xffffffff83195000.
[/srv/taskmon(47)] taskmon: Executing /app/taskdump -t 72
[/app/taskdump(73)] Task Dump Utility
[/app/taskdump(73)] Dumping task '/app/nav' (task ID 72).
[/app/taskdump(73)] Loaded symbol table from /app/nav
[/app/taskdump(73)] Threads:
[/app/taskdump(73)]  [1] hash: 0xffffffff83195000
[/app/taskdump(73)] Thread 0xffffffff83195000: PC = 0x000000007016fb94 (_end+1876165252). FP = 0x0000000070142830
[/app/taskdump(73)]   0x0000000070142830: 0x000000007016fb94 (_end+1876165252)
[/app/taskdump(73)]   0x0000000070142880: 0x0000000070170186 (_end+1876166774)
[/app/taskdump(73)]   0x00000000701428c0: 0x0000000070170600 (_end+1876167920)
[/app/taskdump(73)]   0x00000000701428e0: 0x00000000701708d5 (_end+1876168645)
[/app/taskdump(73)]   0x0000000070142900: 0x000000007015be4a (_end+1876084026)
[/app/taskdump(73)]   0x0000000070142920: 0x000000000041d64c (gfx_color_new_ega+28)
[/app/taskdump(73)]   0x0000000070142a40: 0x0000000000414dc8 (ui_resource_create+1592)
[/app/taskdump(73)]   0x0000000070142b80: 0x000000000041b04b (ui_window_create+811)
[/app/taskdump(73)]   0x0000000070142c50: 0x00000000004055aa (progress_dlg_create+186)
[/app/taskdump(73)]   0x0000000070142cb0: 0x0000000000406b4f (delete_bok+127)
[/app/taskdump(73)]   0x0000000070142d60: 0x0000000000417998 (ui_run+200)
[/app/taskdump(73)]   0x0000000070142d90: 0x0000000000408183 (navigator_run+51)
[/app/taskdump(73)]   0x0000000070142dd0: 0x00000000004024b1 (main+129)
[/app/taskdump(73)]   0x0000000070142e10: 0x000000007016e2bd (_end+1876158893)
[/app/taskdump(73)]   0x0000000070142e20: 0x0000000000409c0a (__c_start+138)
[/app/taskdump(73)]   0x0000000070142e30: 0x0000000000409b7f (_start+12)
[/app/taskdump(73)] Address space areas:
[/app/taskdump(73)]  [1] flags: R-XC base: 0x0000000000400000 size: 188416
[/app/taskdump(73)]  [2] flags: RW-C base: 0x000000000042e000 size: 8192
[/app/taskdump(73)]  [3] flags: RW-C base: 0x0000000000430000 size: 4096
[/app/taskdump(73)]  [4] flags: RW-C base: 0x0000000000432000 size: 4096
[/app/taskdump(73)]  [5] flags: RW-C base: 0x0000000000434000 size: 4096
[/app/taskdump(73)]  [6] flags: RW-C base: 0x0000000000436000 size: 4096
[/app/taskdump(73)]  [7] flags: R--C base: 0x0000000000438000 size: 4096
[/app/taskdump(73)]  [8] flags: RW-C base: 0x0000000000439000 size: 4096
[/app/taskdump(73)]  [9] flags: RW-C base: 0x000000000043b000 size: 1048576
[/app/taskdump(73)]  [10] flags: RW-C base: 0x000000000053c000 size: 61440
[/app/taskdump(73)]  [11] flags: RW-C base: 0x000000000054b000 size: 12288
[/app/taskdump(73)]  [12] flags: RW-C base: 0x000000000054e000 size: 4096
[/app/taskdump(73)]  [13] flags: RW-C base: 0x000000000054f000 size: 24576
[/app/taskdump(73)]  [14] flags: RW-C base: 0x0000000000555000 size: 4096
[/app/taskdump(73)]  [15] flags: RW-C base: 0x0000000000556000 size: 4096
[/app/taskdump(73)]  [16] flags: RW-C base: 0x0000000000557000 size: 4096
[/app/taskdump(73)]  [17] flags: RW-C base: 0x0000000000558000 size: 4096
[/app/taskdump(73)]  [18] flags: RW-C base: 0x0000000000559000 size: 8192
[/app/taskdump(73)]  [19] flags: RW-C base: 0x000000000055b000 size: 4096
[/app/taskdump(73)]  [20] flags: RW-C base: 0x000000000055c000 size: 4096
[/app/taskdump(73)]  [21] flags: RW-C base: 0x000000000055d000 size: 4096
[/app/taskdump(73)]  [22] flags: RW-C base: 0x000000000055e000 size: 4096
[/app/taskdump(73)]  [23] flags: RW-C base: 0x000000000055f000 size: 4096
[/app/taskdump(73)]  [24] flags: RW-C base: 0x0000000000560000 size: 4096
[/app/taskdump(73)]  [25] flags: RW-C base: 0x0000000000561000 size: 4096
[/app/taskdump(73)]  [26] flags: RW-C base: 0x0000000000562000 size: 4096
[/app/taskdump(73)]  [27] flags: RW-C base: 0x0000000000563000 size: 4096
[/app/taskdump(73)]  [28] flags: RW-C base: 0x0000000000564000 size: 4096
[/app/taskdump(73)]  [29] flags: RW-C base: 0x0000000000565000 size: 4096
[/app/taskdump(73)]  [30] flags: RW-C base: 0x0000000000566000 size: 4096
[/app/taskdump(73)]  [31] flags: RW-C base: 0x0000000000567000 size: 4096
[/app/taskdump(73)]  [32] flags: RW-C base: 0x0000000000568000 size: 4096
[/app/taskdump(73)]  [33] flags: RW-C base: 0x0000000000569000 size: 4096
[/app/taskdump(73)]  [34] flags: RW-C base: 0x000000000056a000 size: 4096
[/app/taskdump(73)]  [35] flags: RW-C base: 0x000000000056b000 size: 4096
[/app/taskdump(73)]  [36] flags: RW-C base: 0x000000000056c000 size: 4096
[/app/taskdump(73)]  [37] flags: RW-C base: 0x000000000056d000 size: 4096
[/app/taskdump(73)]  [38] flags: RW-C base: 0x000000000056e000 size: 4096
[/app/taskdump(73)]  [39] flags: RW-C base: 0x000000000056f000 size: 4096
[/app/taskdump(73)]  [40] flags: RW-C base: 0x0000000000570000 size: 4096
[/app/taskdump(73)]  [41] flags: RW-C base: 0x0000000000571000 size: 4096
[/app/taskdump(73)]  [42] flags: RW-C base: 0x0000000000572000 size: 4096
[/app/taskdump(73)]  [43] flags: RW-C base: 0x0000000000573000 size: 4096
[/app/taskdump(73)]  [44] flags: RW-C base: 0x0000000000574000 size: 4096
[/app/taskdump(73)]  [45] flags: RW-C base: 0x0000000000575000 size: 4096
[/app/taskdump(73)]  [46] flags: RW-C base: 0x0000000000576000 size: 4096
[/app/taskdump(73)]  [47] flags: RW-C base: 0x0000000000577000 size: 4096
[/app/taskdump(73)]  [48] flags: RW-C base: 0x0000000000578000 size: 4096
[/app/taskdump(73)]  [49] flags: RW-C base: 0x0000000000579000 size: 4096
[/app/taskdump(73)]  [50] flags: RW-C base: 0x000000000057a000 size: 4096
[/app/taskdump(73)]  [51] flags: RW-C base: 0x000000000057b000 size: 4096
[/app/taskdump(73)]  [52] flags: RW-C base: 0x000000000057c000 size: 4096
[/app/taskdump(73)]  [53] flags: RW-C base: 0x000000000057d000 size: 4096
[/app/taskdump(73)]  [54] flags: RW-C base: 0x000000000057e000 size: 4096
[/app/taskdump(73)]  [55] flags: RW-C base: 0x000000000057f000 size: 4096
[/app/taskdump(73)]  [56] flags: RW-C base: 0x0000000000580000 size: 4096
[/app/taskdump(73)]  [57] flags: RW-C base: 0x0000000000581000 size: 4096
[/app/taskdump(73)]  [58] flags: RW-C base: 0x0000000000582000 size: 4096
[/app/taskdump(73)]  [59] flags: RW-C base: 0x0000000000583000 size: 4096
[/app/taskdump(73)]  [60] flags: RW-C base: 0x0000000000584000 size: 4096
[/app/taskdump(73)]  [61] flags: RW-C base: 0x0000000000585000 size: 4096
[/app/taskdump(73)]  [62] flags: RW-C base: 0x0000000000586000 size: 4096
[/app/taskdump(73)]  [63] flags: RW-C base: 0x0000000000587000 size: 4096
[/app/taskdump(73)]  [64] flags: RW-C base: 0x0000000000588000 size: 4096
[/app/taskdump(73)]  [65] flags: RW-C base: 0x0000000000589000 size: 4096
[/app/taskdump(73)]  [66] flags: RW-C base: 0x000000000058a000 size: 4096
[/app/taskdump(73)]  [67] flags: RW-C base: 0x000000000058b000 size: 4096
[/app/taskdump(73)]  [68] flags: RW-C base: 0x000000000058c000 size: 4096
[/app/taskdump(73)]  [69] flags: RW-C base: 0x000000000058d000 size: 4096
[/app/taskdump(73)]  [70] flags: RW-C base: 0x000000000058e000 size: 4096
[/app/taskdump(73)]  [71] flags: RW-C base: 0x000000000058f000 size: 4096
[/app/taskdump(73)]  [72] flags: RW-C base: 0x0000000000590000 size: 4096
[/app/taskdump(73)]  [73] flags: RW-C base: 0x0000000000591000 size: 4096
[/app/taskdump(73)]  [74] flags: RW-C base: 0x0000000000592000 size: 4096
[/app/taskdump(73)]  [75] flags: RW-C base: 0x0000000000593000 size: 4096
[/app/taskdump(73)]  [76] flags: RW-C base: 0x0000000000594000 size: 4096
[/app/taskdump(73)]  [77] flags: RW-C base: 0x0000000000595000 size: 4096
[/app/taskdump(73)]  [78] flags: RW-C base: 0x0000000000596000 size: 4096
[/app/taskdump(73)]  [79] flags: RW-C base: 0x0000000000597000 size: 4096
[/app/taskdump(73)]  [80] flags: R-XC base: 0x0000000070000000 size: 98304
[/app/taskdump(73)]  [81] flags: RW-C base: 0x0000000070018000 size: 126976
[/app/taskdump(73)]  [82] flags: RW-C base: 0x0000000070037000 size: 4096
[/app/taskdump(73)]  [83] flags: RW-C base: 0x0000000070038000 size: 4096
[/app/taskdump(73)]  [84] flags: RW-C base: 0x000000007003a000 size: 4096
[/app/taskdump(73)]  [85] flags: RW-C base: 0x000000007003c000 size: 4096
[/app/taskdump(73)]  [86] flags: RW-C base: 0x000000007003e000 size: 4096
[/app/taskdump(73)]  [87] flags: R--C base: 0x0000000070040000 size: 4096
[/app/taskdump(73)]  [88] flags: RW-C base: 0x0000000070041000 size: 4096
[/app/taskdump(73)]  [89] flags: RW-C base: 0x0000000070043000 size: 1048576
[/app/taskdump(73)]  [90] flags: R-XC base: 0x0000000070144000 size: 311296
[/app/taskdump(73)]  [91] flags: RW-C base: 0x0000000070190000 size: 131072
[/app/taskdump(73)]  [92] flags: RW-C base: 0x00007ffffff00000 size: 1048576
[/app/taskdump(73)] Failed dumping fibrils.