A really simple test you can compile with cygwin - if it doesn't crash, the bug is present:

  #include <stdio.h>
  
  int main()
  {
          volatile unsigned long *ptr = (volatile unsigned long *)0xFFFFF6FB7DBED000;
  
          printf("%lx\n", *ptr);
          return 0;
  }