1--  { dg-do run }
2
3with GNAT.OS_Lib;
4
5procedure Normalize_Pathname is
6   S : constant String := GNAT.OS_Lib.Normalize_Pathname
7     ("/../tmp", Directory => "", Resolve_Links => True);
8begin
9   null;
10end Normalize_Pathname;
11