Buenas Tardes a todos.
El poner otros compiladores, fue simplemente por establecer una comparacion, nada mas. Siento si alguien se ha ofendido.
En cuanto al funcionamiento interno del compilador, pienso exactamente igual que @Fred vS, Cuando declaras la variable y la inicializas con un valor eso debería ser suficiente para tener el control por parte del compilador, sobre todo, si tenemos en cuenta que FP trata los string como arrays de char.
Me parece arriesgado cargar sobre el programador el control de las cadenas y el control de los limites de los arrays con directivas como: {$H+}{$R+}.
Siguiendo con las pruebas, adjunto 2 imágenes del código compilado con otro compilador de pascal (se dice que es un clon de turbo pascal), se llama Modern Pascal, el compilador tiene ya unos 3 años pero el proyecto esta muy vivo.
Podréis comprobar que si intentamos acceder a una posición mas allá de la longitud de la cadena da error de acceso.
Pienso, desde mi humilde opinión que este tipo de cosas se deberían de revisar por parte del equipo de fp.
Saludos a todos