I found a problem in the related code but I'm not sure if it could be the cause. Please test with http://openocd.zylin.com/4167 and report if it helps or not.

By the way, you have two different addresses in the commands you compare:
"mdb 0x80000000 100" and "mex1 mdb 0x8000000 100"; note the different number of zeros. I don't think that has anything to do with the crash.