[review] XM_CATALOG_BOOTSTRAP_RESOLVER.Reserved_directory_path is not safe
Jocelyn <[email protected]> Fri, 23 Jan 2009 11:49:18 +0100
| Newsgroups | gmane.comp.lang.eiffel.gobo.devel |
|---|---|
| Message-ID | <[email protected]> |
In the code of {XM_CATALOG_BOOTSTRAP_RESOLVER}.Reserved_directory_path
we have
Result := Execution_environment.variable_value ("GOBO")
Result := unix_file_system.pathname_from_file_system
(Result, file_system)
However `Execution_environment.variable_value ("GOBO")' can return a
Void value
and then the call to unix_file_system.pathname_from_file_system (Result,
file_system) will violate precondition of `pathname_from_file_system'
or raise exception (if assertion are disabled).
Regards,
-- Jocelyn
------------------------------------------------------------------------------
This SF.net email is sponsored by:
SourcForge Community
SourceForge wants to tell your story.
http://p.sf.net/sfu/sf-spreadtheword