I thing the more probable use case is checking if module is being compiled with the right option rather than checking if safe function is being compiled with bounds checking.