[Bug ada/36785] Segmentation fault in Gnat.Regexp

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=36785

Eric Botcazou  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.9.0

--- Comment #3 from Eric Botcazou  ---
2014-01-29  Emmanuel Briot  

* s-regexp.adb (Create_Secondary_Table): Automatically grow the state
machine as needed.
(Dump): New subprogram.

[Bug ada/36785] Segmentation fault in Gnat.Regexp

[baldrick at gcc dot gnu dot org]

--- Comment #2 from baldrick at gcc dot gnu dot org  2009-02-17 13:36 
---
If I unsupress checks in System.Regexp.Compile.Create_Secondary_Table,
then I get
  raised CONSTRAINT_ERROR : s-regexp.adb:1161 index check failed
here:

1160for Column in 0 .. Alphabet_Size loop
1161   Meta_States (Nb_State + 1) := (others = False); -- Here
1162   Temp_State_Not_Null := False;

The reason is that Nb_State + 1 is beyond Meta_States'Last.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36785

[Bug ada/36785] Segmentation fault in Gnat.Regexp

[sam at gcc dot gnu dot org]

--- Comment #1 from sam at gcc dot gnu dot org  2008-08-03 12:07 ---
Confirmed on 4.4.0 20080803 (i686-pc-linux-gnu).


-- 

sam at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||sam at gcc dot gnu dot org
 Status|UNCONFIRMED |NEW
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2008-08-03 12:07:22
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36785