Menu

#34 Call-on-void-target in alphabetic_property

3.9
closed
string (2)
5
2009-04-01
2009-04-01
No

A call-on-void target crash will occur in {ST_UNICODE_CHARACTER_CLASS_INTERFACE}.alphabetic_property (or indeed in any xxx_property routine from that class) if presented with a suitable argument, such as 196608.

The cause of the crash is that {GEUC}.write_all_false_boolean_plane fails to honour its postcondition that all sub-arrays are non-Void - the code to do so is completely absent.

The fix is to add the missing code (and also make the postcondition and all similar ones have proper executable code - e.g not Result.has (Void) rather than True), then re-run geuc for all versions of Unicode currently supported by Gobo.

This bug was discovered at AXA Rosenberg, where it is ticket #62142.

Discussion

  • Colin Paul Adams

    • assigned_to: nobody --> colin-adams
     
  • Colin Paul Adams

    Fix applied and tested OK.

     
  • Colin Paul Adams

    • status: open --> closed
     

Log in to post a comment.