with Debug; use Debug;
with Osint; use Osint;
with Opt; use Opt;
with System.WCh_Con; use System.WCh_Con;
package body Switch.B is
procedure Scan_Binder_Switches (Switch_Chars : String) is
Max : constant Integer := Switch_Chars'Last;
Ptr : Integer := Switch_Chars'First;
C : Character := ' ';
function Get_Stack_Size (S : Character) return Int;
function Get_Stack_Size (S : Character) return Int is
Result : Int;
begin
Scan_Pos (Switch_Chars, Max, Ptr, Result, S);
declare
pragma Unsuppress (Overflow_Check);
begin
if Ptr <= Max then
if Switch_Chars (Ptr) = 'k' then
Result := Result * 1024;
Ptr := Ptr + 1;
elsif Switch_Chars (Ptr) = 'm' then
Result := Result * (1024 * 1024);
Ptr := Ptr + 1;
end if;
end if;
exception
when Constraint_Error =>
Osint.Fail
("numeric value out of range for switch: ", (1 => S));
end;
return Result;
end Get_Stack_Size;
begin
if Ptr = Max then
Bad_Switch (Switch_Chars);
else
Ptr := Ptr + 1;
end if;
if Switch_Chars'Last >= Ptr + 3
and then Switch_Chars (Ptr .. Ptr + 3) = "gnat"
then
Osint.Fail ("invalid switch: """, Switch_Chars, """"
& " (gnat not needed here)");
end if;
Check_Switch : begin
C := Switch_Chars (Ptr);
case C is
when 'a' =>
Ptr := Ptr + 1;
Use_Pragma_Linker_Constructor := True;
when 'A' =>
Ptr := Ptr + 1;
Ada_Bind_File := True;
when 'b' =>
Ptr := Ptr + 1;
Brief_Output := True;
when 'c' =>
Ptr := Ptr + 1;
Check_Only := True;
when 'C' =>
Ptr := Ptr + 1;
Ada_Bind_File := False;
when 'd' =>
if Ptr = Max then
Bad_Switch (Switch_Chars);
end if;
Ptr := Ptr + 1;
C := Switch_Chars (Ptr);
if C in '0' .. '9' then
Default_Stack_Size := Get_Stack_Size ('d');
else
loop
C := Switch_Chars (Ptr);
if C in 'a' .. 'z' or else C in 'A' .. 'Z' then
Set_Debug_Flag (C);
else
Bad_Switch (Switch_Chars);
end if;
Ptr := Ptr + 1;
exit when Ptr > Max;
end loop;
end if;
when 'D' =>
if Ptr = Max then
Bad_Switch (Switch_Chars);
end if;
Ptr := Ptr + 1;
Default_Sec_Stack_Size := Get_Stack_Size ('D');
when 'e' =>
Ptr := Ptr + 1;
Elab_Dependency_Output := True;
when 'E' =>
Ptr := Ptr + 1;
Exception_Tracebacks := True;
when 'F' =>
Ptr := Ptr + 1;
Force_Checking_Of_Elaboration_Flags := True;
when 'g' =>
Ptr := Ptr + 1;
if Ptr <= Max then
C := Switch_Chars (Ptr);
if C in '0' .. '3' then
Debugger_Level :=
Character'Pos
(Switch_Chars (Ptr)) - Character'Pos ('0');
Ptr := Ptr + 1;
end if;
else
Debugger_Level := 2;
end if;
when 'h' =>
Ptr := Ptr + 1;
Usage_Requested := True;
when 'i' =>
if Ptr = Max then
Bad_Switch (Switch_Chars);
end if;
Ptr := Ptr + 1;
C := Switch_Chars (Ptr);
if C in '1' .. '5'
or else C = '8'
or else C = 'p'
or else C = 'f'
or else C = 'n'
or else C = 'w'
then
Identifier_Character_Set := C;
Ptr := Ptr + 1;
else
Bad_Switch (Switch_Chars);
end if;
when 'K' =>
Ptr := Ptr + 1;
Output_Linker_Option_List := True;
when 'l' =>
Ptr := Ptr + 1;
Elab_Order_Output := True;
when 'm' =>
if Ptr = Max then
Bad_Switch (Switch_Chars);
end if;
Ptr := Ptr + 1;
Scan_Pos (Switch_Chars, Max, Ptr, Maximum_Errors, C);
when 'n' =>
Ptr := Ptr + 1;
Bind_Main_Program := False;
when 'o' =>
Ptr := Ptr + 1;
if Output_File_Name_Present then
Osint.Fail ("duplicate -o switch");
else
Output_File_Name_Present := True;
end if;
when 'O' =>
Ptr := Ptr + 1;
Output_Object_List := True;
when 'p' =>
Ptr := Ptr + 1;
Pessimistic_Elab_Order := True;
when 'q' =>
Ptr := Ptr + 1;
Quiet_Output := True;
when 'r' =>
Ptr := Ptr + 1;
List_Restrictions := True;
when 's' =>
Ptr := Ptr + 1;
All_Sources := True;
Check_Source_Files := True;
when 't' =>
Ptr := Ptr + 1;
Tolerate_Consistency_Errors := True;
when 'T' =>
if Ptr = Max then
Bad_Switch (Switch_Chars);
end if;
Ptr := Ptr + 1;
Time_Slice_Set := True;
Scan_Nat (Switch_Chars, Max, Ptr, Time_Slice_Value, C);
Time_Slice_Value := Time_Slice_Value * 1_000;
when 'u' =>
if Ptr = Max then
Bad_Switch (Switch_Chars);
end if;
Ptr := Ptr + 1;
Dynamic_Stack_Measurement := True;
Scan_Nat
(Switch_Chars,
Max,
Ptr,
Dynamic_Stack_Measurement_Array_Size,
C);
when 'v' =>
Ptr := Ptr + 1;
Verbose_Mode := True;
when 'w' =>
if Ptr = Max then
Bad_Switch (Switch_Chars);
end if;
Ptr := Ptr + 1;
case Switch_Chars (Ptr) is
when 'e' =>
Warning_Mode := Treat_As_Error;
when 's' =>
Warning_Mode := Suppress;
when others =>
Bad_Switch (Switch_Chars);
end case;
Ptr := Ptr + 1;
when 'W' =>
if Ptr = Max then
Bad_Switch (Switch_Chars);
end if;
Ptr := Ptr + 1;
for J in WC_Encoding_Method loop
if Switch_Chars (Ptr) = WC_Encoding_Letters (J) then
Wide_Character_Encoding_Method := J;
exit;
elsif J = WC_Encoding_Method'Last then
Bad_Switch (Switch_Chars);
end if;
end loop;
Upper_Half_Encoding :=
Wide_Character_Encoding_Method in
WC_Upper_Half_Encoding_Method;
Ptr := Ptr + 1;
when 'x' =>
Ptr := Ptr + 1;
All_Sources := False;
Check_Source_Files := False;
when 'X' =>
if Ptr = Max then
Bad_Switch (Switch_Chars);
end if;
Ptr := Ptr + 1;
Scan_Pos (Switch_Chars, Max, Ptr, Default_Exit_Status, C);
when 'z' =>
Ptr := Ptr + 1;
No_Main_Subprogram := True;
when '-' =>
if Ptr + 4 <= Max and then
Switch_Chars (Ptr + 1 .. Ptr + 3) = "RTS"
then
Ptr := Ptr + 4;
if Switch_Chars (Ptr) /= '=' or else Ptr = Max then
Osint.Fail ("missing path for --RTS");
else
Opt.No_Stdinc := True;
Opt.RTS_Switch := True;
declare
Src_Path_Name : constant String_Ptr :=
Get_RTS_Search_Dir
(Switch_Chars
(Ptr + 1 .. Switch_Chars'Last),
Include);
Lib_Path_Name : constant String_Ptr :=
Get_RTS_Search_Dir
(Switch_Chars
(Ptr + 1 .. Switch_Chars'Last),
Objects);
begin
if Src_Path_Name /= null and then
Lib_Path_Name /= null
then
RTS_Src_Path_Name := Src_Path_Name;
RTS_Lib_Path_Name := Lib_Path_Name;
Ptr := Max + 1;
elsif Src_Path_Name = null
and then Lib_Path_Name = null
then
Osint.Fail ("RTS path not valid: missing " &
"adainclude and adalib directories");
elsif Src_Path_Name = null then
Osint.Fail ("RTS path not valid: missing " &
"adainclude directory");
elsif Lib_Path_Name = null then
Osint.Fail ("RTS path not valid: missing " &
"adalib directory");
end if;
end;
end if;
else
Bad_Switch (Switch_Chars);
end if;
when others =>
Bad_Switch (Switch_Chars);
end case;
if Ptr <= Max then
Bad_Switch (Switch_Chars);
end if;
end Check_Switch;
end Scan_Binder_Switches;
end Switch.B;