If Data_First is set to the special value of -1 (the default), then we cannot look at Data (Data_First). Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * libgnat/s-regpat.ads: Change Data_First to Data'First. Change "still" to "always". Similar changes for Data_Last.