The SSRANGE compiler option in COBOL generates code to check whether subscripts, indexes, or reference modifiers exceed the declared boundaries of an array at runtime, ensuring array bound checking. If subscripts are out of bounds, a runtime error is raised, preventing memory corruption or access to invalid locations.