Test suite results for test file webtbs/tw1592.pp

Test run data :

Run ID:
Operating system: linux
Processor: x86_64
Version: 3.2.3
Fails/OK/Total: 27/8127/8154
Version: 3.2.3
Full version: 3.2.3-1373-gae0fe8a6a0
Comment: -gl -Fl/usr/lib -Fl/usr/lib/gcc/x86_64-linux-gnu/10 -Fl/usr/lib/x86_64-linux-gnu -Cg -O2 -Fd
Machine: gcc13
Category: 1
SVN revisions: fdf93c5b29:c17a0e20f5:ae0fe8a6a0:d1c29e6cb9
Submitter: pierre
Date: 2024/04/19 10:45:00 <> 2024/04/09
Previous run: 934301
Next run: 935636

Hide skipped tests

Hide successful tests

Test file "webtbs/tw1592.pp" information:

t_id 831
t_adddate 2003/10/03
t_result 0
t_knownrunerror 0

Detailed test run results:

tr_idruntr_oktr_skiptr_result
443602617934955TrueFalseSuccessfully run

Record count: 1

No log of 934955.

Source:

{ Source provided for Free Pascal Bug Report 1592 }
{ Submitted by "Guenther Palfinger" on  2001-08-23 }
{ e-mail: guenther.palfinger@gmx.net }
Program ShowBug;                                          (* 2001-08-23 *)

var L,R,A,B,Z1,tmp : real;

function arccos(x: real): real;
var y : real;
begin
   (*  gdb gives the following message for next line:
    *  "Program received signal SIGFPE, Arithmetic exception." *)
   writeln(x);
   if abs(x) > 1.0 then writeln(' error arccos(x), x = ',x:7:3);
   if abs(x) > 0.0 then y := arctan(sqrt(1.0-x*x)/abs(x))
   else y := pi/2.0;
   if x < 0.0 then y := pi - y;
   arccos := y;
end;

function arcsin(x: real): real;
begin
   arcsin := pi/2.0 - arccos(x);
end;

begin
   L := 5.2631578947368425;
   R := 3.6315789473684212;
   A := 39.88919667590028;
   B := 15.512465373961222;
   (* Behaves OK *)
   tmp :=  1/(pi*R)*(ArcCos(B/A) - 1/(2*L)*(sqrt((A+2)*(A+2)-2*R*R)*ArcCos(B/(R*A)) + B*ArcSin(1/R) ));
   writeln ('tmp = ', tmp);
   (* OK *)
   writeln('1/R-tmp = ', 1/R-tmp);
   (* Next line causes FPE at run time, althogh it is the same as previous line *)
   Z1 := 1/R-  1/(pi*R)*(ArcCos(B/A) - 1/(2*L)*(sqrt((A+2)*(A+2)-2*R*R)*ArcCos(B/(R*A)) + B*ArcSin(1/R) ));
end.

Link to SVN view of webtbs/tw1592.pp source.