null pointer dereference in Gnatcoll.Email.Parser.Full_Parse_From_File

[Rombobeorn]

Full_Parse_From_File raises Constraint_Error if the specified file doesn't exist or the user lacks permission to read it. Constraint_Error can be many things, and the error message "gnatcoll-email-parser.adb:351 access check failed" doesn't tell the user what the problem is.

Doing checks before calling Full_Parse_From_File is not the solution. That would be a race condition.

To be able to give an accurate error message I have to avoid Full_Parse_From_File, write my own code to open and read the file, and call Full_Parse instead. Thus the existence of Full_Parse_From_File is pointless.

Full_Parse_From_File should raise a more specific exception if Read_File returns null.