Hi Tejas,

Sorry to have kept you waiting reply. I cannot talk much about above report because I found the bug on proprietary SoC, but I believe this would happen on any Cortex-M processor. To show that, I want to share a test case I had reproduced onon nucleo-F411RE board (http://www.st.com/web/catalog/tools/FM116/SC959/SS1532/LN1847/PF260320) with ther example code. 

To build the image, download STM32CubeF4 from http://www.st.com/web/jp/catalog/tools/PF259243 and place attached Makefile on it's top directory, then
$ make

To run image,
$ make run

Regards,
sekiriki

-------- 
GNU gdb (7.7.1-0ubuntu5~14.04.2+1) 7.7.1
Copyright (C) 2014 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.  Type "show copying"
and "show warranty" for details.
This GDB was configured as "--host=x86_64-linux-gnu --target=arm-none-eabi".
Type "show configuration" for configuration details.
For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>.
Find the GDB manual and other documentation resources online at:
<http://www.gnu.org/software/gdb/documentation/>.
For help, type "help".
Type "apropos word" to search for commands related to "word"...
Reading symbols from out/Projects/STM32F411RE-Nucleo/Examples/HAL/HAL_TimeBase.elf...done.
Remote debugging using | openocd -f /usr/local/share/openocd/scripts/board/st_nucleo_f411re.cfg -p
Open On-Chip Debugger 0.9.0-dev-00210-g01d65e1-dirty (2015-02-23-19:48)
Licensed under GNU GPL v2
For bug reports, read
	http://openocd.sourceforge.net/doc/doxygen/bugs.html
EXTI15_10_IRQHandler () at Projects/STM32F411RE-Nucleo/Examples/HAL/HAL_TimeBase/Src/stm32f4xx_it.c:174
174	}
(gdb) load
Loading section .isr_vector, size 0x198 lma 0x8000000
Loading section .text, size 0xc3a8 lma 0x8000198
Loading section .rodata, size 0x20 lma 0x800c540
Loading section .init_array, size 0x8 lma 0x800c560
Loading section .fini_array, size 0x4 lma 0x800c568
Loading section .data, size 0x448 lma 0x800c56c
Start address 0x800c374, load size 51636
Transfer rate: 23 KB/sec, 5737 bytes/write.
(gdb) monitor reset halt
target state: halted
target halted due to debug-request, current mode: Thread 
xPSR: 0x01000000 pc: 0x0800c374 msp: 0x20020000
(gdb) b HAL_GPIO_EXTI_IRQHandler 
Breakpoint 1 at 0x800810a: file Drivers/STM32F4xx_HAL_Driver/Src/stm32f4xx_hal_gpio.c, line 508.
(gdb) c
Continuing.
Note: automatically using hardware breakpoints for read-only addresses.

Breakpoint 1, HAL_GPIO_EXTI_IRQHandler (GPIO_Pin=8192) at Drivers/STM32F4xx_HAL_Driver/Src/stm32f4xx_hal_gpio.c:508
508	  if(__HAL_GPIO_EXTI_GET_IT(GPIO_Pin) != RESET)
(gdb) finish
Run till exit from #0  HAL_GPIO_EXTI_IRQHandler (GPIO_Pin=8192) at Drivers/STM32F4xx_HAL_Driver/Src/stm32f4xx_hal_gpio.c:508
EXTI15_10_IRQHandler () at Projects/STM32F411RE-Nucleo/Examples/HAL/HAL_TimeBase/Src/stm32f4xx_it.c:174
174	}
(gdb) finish
Run till exit from #0  EXTI15_10_IRQHandler () at Projects/STM32F411RE-Nucleo/Examples/HAL/HAL_TimeBase/Src/stm32f4xx_it.c:174
Warning:
Cannot insert breakpoint 0.
Cannot access memory at address 0xfffffff9

(gdb) quit
A debugging session is active.

	Inferior 1 [Remote target] will be detached.

Quit anyway? (y or n) y
Detaching from program: /home/seki/cache/STM32Cube_FW_F4_V1.11.0/out/Projects/STM32F411RE-Nucleo/Examples/HAL/HAL_TimeBase.elf, Remote target
Ending remote debugging.