added struct stat size check to Unix.Mod, will test it on different

platforms.


Former-commit-id: 15274cbfb0
This commit is contained in:
norayr 2015-05-20 18:40:48 +04:00
parent 9dde57e9cd
commit da7c2ed8b0
11 changed files with 227 additions and 1 deletions

View file

@ -536,6 +536,28 @@ from man gettimeofday
RETURN r RETURN r
END System; END System;
PROCEDURE -SizeofUnixStat(): INTEGER
"sizeof(Unix_Status)";
PROCEDURE -SizeofStat(): INTEGER
"sizeof(struct stat)";
PROCEDURE -Error(msg: ARRAY OF CHAR; len: INTEGER)
"write(1/*stdout*/, msg, len); char ch = 0xa; write(1, &ch, 1)";
PROCEDURE StatCheck;
VAR x, y: LONGINT;
BEGIN
x := SizeofUnixStat();
y := SizeofStat();
IF x # y THEN
Error("Unix.StatCheck: inconsistent usage of struct stat", 49);
Exit(1);
END
END StatCheck;
BEGIN
StatCheck();
END Unix. END Unix.

View file

@ -557,6 +557,28 @@ from man gettimeofday
RETURN r RETURN r
END System; END System;
PROCEDURE -SizeofUnixStat(): INTEGER
"sizeof(Unix_Status)";
PROCEDURE -SizeofStat(): INTEGER
"sizeof(struct stat)";
PROCEDURE -Error(msg: ARRAY OF CHAR; len: INTEGER)
"write(1/*stdout*/, msg, len); char ch = 0xa; write(1, &ch, 1)";
PROCEDURE StatCheck;
VAR x, y: LONGINT;
BEGIN
x := SizeofUnixStat();
y := SizeofStat();
IF x # y THEN
Error("Unix.StatCheck: inconsistent usage of struct stat", 49);
Exit(1);
END
END StatCheck;
BEGIN
StatCheck();
END Unix. END Unix.

View file

@ -456,4 +456,27 @@ TYPE
RETURN r RETURN r
END System; END System;
PROCEDURE -SizeofUnixStat(): INTEGER
"sizeof(Unix_Status)";
PROCEDURE -SizeofStat(): INTEGER
"sizeof(struct stat)";
PROCEDURE -Error(msg: ARRAY OF CHAR; len: INTEGER)
"write(1/*stdout*/, msg, len); char ch = 0xa; write(1, &ch, 1)";
PROCEDURE StatCheck;
VAR x, y: LONGINT;
BEGIN
x := SizeofUnixStat();
y := SizeofStat();
IF x # y THEN
Error("Unix.StatCheck: inconsistent usage of struct stat", 49);
Exit(1);
END
END StatCheck;
BEGIN
StatCheck();
END Unix. END Unix.

View file

@ -439,4 +439,27 @@ TYPE
RETURN r RETURN r
END System; END System;
PROCEDURE -SizeofUnixStat(): INTEGER
"sizeof(Unix_Status)";
PROCEDURE -SizeofStat(): INTEGER
"sizeof(struct stat)";
PROCEDURE -Error(msg: ARRAY OF CHAR; len: INTEGER)
"write(1/*stdout*/, msg, len); char ch = 0xa; write(1, &ch, 1)";
PROCEDURE StatCheck;
VAR x, y: LONGINT;
BEGIN
x := SizeofUnixStat();
y := SizeofStat();
IF x # y THEN
Error("Unix.StatCheck: inconsistent usage of struct stat", 49);
Exit(1);
END
END StatCheck;
BEGIN
StatCheck();
END Unix. END Unix.

View file

@ -439,4 +439,27 @@ TYPE
RETURN r RETURN r
END System; END System;
PROCEDURE -SizeofUnixStat(): INTEGER
"sizeof(Unix_Status)";
PROCEDURE -SizeofStat(): INTEGER
"sizeof(struct stat)";
PROCEDURE -Error(msg: ARRAY OF CHAR; len: INTEGER)
"write(1/*stdout*/, msg, len); char ch = 0xa; write(1, &ch, 1)";
PROCEDURE StatCheck;
VAR x, y: LONGINT;
BEGIN
x := SizeofUnixStat();
y := SizeofStat();
IF x # y THEN
Error("Unix.StatCheck: inconsistent usage of struct stat", 49);
Exit(1);
END
END StatCheck;
BEGIN
StatCheck();
END Unix. END Unix.

View file

@ -492,6 +492,28 @@ from man gettimeofday
RETURN r RETURN r
END System; END System;
PROCEDURE -SizeofUnixStat(): INTEGER
"sizeof(Unix_Status)";
PROCEDURE -SizeofStat(): INTEGER
"sizeof(struct stat)";
PROCEDURE -Error(msg: ARRAY OF CHAR; len: INTEGER)
"write(1/*stdout*/, msg, len); char ch = 0xa; write(1, &ch, 1)";
PROCEDURE StatCheck;
VAR x, y: LONGINT;
BEGIN
x := SizeofUnixStat();
y := SizeofStat();
IF x # y THEN
Error("Unix.StatCheck: inconsistent usage of struct stat", 49);
Exit(1);
END
END StatCheck;
BEGIN
StatCheck();
END Unix. END Unix.

View file

@ -456,4 +456,27 @@ TYPE
RETURN r RETURN r
END System; END System;
PROCEDURE -SizeofUnixStat(): INTEGER
"sizeof(Unix_Status)";
PROCEDURE -SizeofStat(): INTEGER
"sizeof(struct stat)";
PROCEDURE -Error(msg: ARRAY OF CHAR; len: INTEGER)
"write(1/*stdout*/, msg, len); char ch = 0xa; write(1, &ch, 1)";
PROCEDURE StatCheck;
VAR x, y: LONGINT;
BEGIN
x := SizeofUnixStat();
y := SizeofStat();
IF x # y THEN
Error("Unix.StatCheck: inconsistent usage of struct stat", 49);
Exit(1);
END
END StatCheck;
BEGIN
StatCheck();
END Unix. END Unix.

View file

@ -439,4 +439,27 @@ TYPE
RETURN r RETURN r
END System; END System;
PROCEDURE -SizeofUnixStat(): INTEGER
"sizeof(Unix_Status)";
PROCEDURE -SizeofStat(): INTEGER
"sizeof(struct stat)";
PROCEDURE -Error(msg: ARRAY OF CHAR; len: INTEGER)
"write(1/*stdout*/, msg, len); char ch = 0xa; write(1, &ch, 1)";
PROCEDURE StatCheck;
VAR x, y: LONGINT;
BEGIN
x := SizeofUnixStat();
y := SizeofStat();
IF x # y THEN
Error("Unix.StatCheck: inconsistent usage of struct stat", 49);
Exit(1);
END
END StatCheck;
BEGIN
StatCheck();
END Unix. END Unix.

View file

@ -439,4 +439,27 @@ TYPE
RETURN r RETURN r
END System; END System;
PROCEDURE -SizeofUnixStat(): INTEGER
"sizeof(Unix_Status)";
PROCEDURE -SizeofStat(): INTEGER
"sizeof(struct stat)";
PROCEDURE -Error(msg: ARRAY OF CHAR; len: INTEGER)
"write(1/*stdout*/, msg, len); char ch = 0xa; write(1, &ch, 1)";
PROCEDURE StatCheck;
VAR x, y: LONGINT;
BEGIN
x := SizeofUnixStat();
y := SizeofStat();
IF x # y THEN
Error("Unix.StatCheck: inconsistent usage of struct stat", 49);
Exit(1);
END
END StatCheck;
BEGIN
StatCheck();
END Unix. END Unix.

View file

@ -492,6 +492,28 @@ from man gettimeofday
RETURN r RETURN r
END System; END System;
PROCEDURE -SizeofUnixStat(): INTEGER
"sizeof(Unix_Status)";
PROCEDURE -SizeofStat(): INTEGER
"sizeof(struct stat)";
PROCEDURE -Error(msg: ARRAY OF CHAR; len: INTEGER)
"write(1/*stdout*/, msg, len); char ch = 0xa; write(1, &ch, 1)";
PROCEDURE StatCheck;
VAR x, y: LONGINT;
BEGIN
x := SizeofUnixStat();
y := SizeofStat();
IF x # y THEN
Error("Unix.StatCheck: inconsistent usage of struct stat", 49);
Exit(1);
END
END StatCheck;
BEGIN
StatCheck();
END Unix. END Unix.

View file

@ -1 +1 @@
82105aa4959ab990f96645db6fee788397ea97e2 7db4dcd699d480d460219139ee1d2cc1f7c9ec19