mirror of
https://github.com/jart/cosmopolitan.git
synced 2025-01-31 11:37:35 +00:00
cf93ecbbb2
The whole repository is now buildable with GNU Make Landlock sandboxing.
This proves that no Makefile targets exist which touch files other than
their declared prerequisites. In order to do this, we had to:
1. Stop code morphing GCC output in package.com and instead run a
newly introduced FIXUPOBJ.COM command after GCC invocations.
2. Disable all the crumby Python unit tests that do things like create
files in the current directory, or rename() files between folders.
This ended up being a lot of tests, but most of them are still ok.
3. Introduce an .UNSANDBOXED variable to GNU Make to disable Landlock.
We currently only do this for things like `make tags`.
4. This change deletes some GNU Make code that was preventing the
execve() optimization from working. This means it should no longer
be necessary in most cases for command invocations to be indirected
through the cocmd interpreter.
5. Missing dependencies had to be declared in certain places, in cases
where they couldn't be automatically determined by MKDEPS.COM
6. The libcxx header situation has finally been tamed. One of the
things that makes this difficult is MKDEPS.COM only wants to
consider the first 64kb of a file, in order to go fast. But libcxx
likes to have #include lines buried after huge documentation.
7. An .UNVEIL variable has been introduced to GNU Make just in case
we ever wish to explicitly specify additional things that need to
be whitelisted which aren't strictly prerequisites. This works in
a manner similar to the recently introduced .EXTRA_PREREQS feature.
There's now a new build/bootstrap/make.com prebuilt binary available. It
should no longer be possible to write invalid Makefile code.
416 lines
6.4 KiB
C
416 lines
6.4 KiB
C
#include "third_party/chibicc/test/include1.h"
|
|
#include "third_party/chibicc/test/test.h"
|
|
/* clang-format off */
|
|
char *main_filename1 = __FILE__;
|
|
int main_line1 = __LINE__;
|
|
#define LINE() __LINE__
|
|
int main_line2 = LINE();
|
|
#define add2 add2
|
|
#define add6(a, b, c, d, e, f) add6(a, b, c, d, e, f)
|
|
|
|
#
|
|
|
|
/* */ #
|
|
|
|
int ret3(void) { return 3; }
|
|
int dbl(int x) { return x*x; }
|
|
|
|
int add2(int x, int y) {
|
|
return x + y;
|
|
}
|
|
|
|
int add6(int a, int b, int c, int d, int e, int f) {
|
|
return a + b + c + d + e + f;
|
|
}
|
|
|
|
int main() {
|
|
ASSERT(5, include1);
|
|
ASSERT(7, include2);
|
|
|
|
/* [jart] breaks mkdeps */
|
|
/* #if 0 */
|
|
/* #include "/no/such/file" */
|
|
/* ASSERT(0, 1); */
|
|
/* #if nested */
|
|
/* #endif */
|
|
/* #endif */
|
|
|
|
int m = 0;
|
|
|
|
#if 1
|
|
m = 5;
|
|
#endif
|
|
ASSERT(5, m);
|
|
|
|
#if 1
|
|
# if 0
|
|
# if 1
|
|
foo bar
|
|
# endif
|
|
# endif
|
|
m = 3;
|
|
#endif
|
|
ASSERT(3, m);
|
|
|
|
#if 1-1
|
|
# if 1
|
|
# endif
|
|
# if 1
|
|
# else
|
|
# endif
|
|
# if 0
|
|
# else
|
|
# endif
|
|
m = 2;
|
|
#else
|
|
# if 1
|
|
m = 3;
|
|
# endif
|
|
#endif
|
|
ASSERT(3, m);
|
|
|
|
#if 1
|
|
m = 2;
|
|
#else
|
|
m = 3;
|
|
#endif
|
|
ASSERT(2, m);
|
|
|
|
#if 1
|
|
m = 2;
|
|
#else
|
|
m = 3;
|
|
#endif
|
|
ASSERT(2, m);
|
|
|
|
#if 0
|
|
m = 1;
|
|
#elif 0
|
|
m = 2;
|
|
#elif 3+5
|
|
m = 3;
|
|
#elif 1*5
|
|
m = 4;
|
|
#endif
|
|
ASSERT(3, m);
|
|
|
|
#if 1+5
|
|
m = 1;
|
|
#elif 1
|
|
m = 2;
|
|
#elif 3
|
|
m = 2;
|
|
#endif
|
|
ASSERT(1, m);
|
|
|
|
#if 0
|
|
m = 1;
|
|
#elif 1
|
|
# if 1
|
|
m = 2;
|
|
# else
|
|
m = 3;
|
|
# endif
|
|
#else
|
|
m = 5;
|
|
#endif
|
|
ASSERT(2, m);
|
|
|
|
int M1 = 5;
|
|
|
|
#define M1 3
|
|
ASSERT(3, M1);
|
|
#define M1 4
|
|
ASSERT(4, M1);
|
|
|
|
#define M1 3+4+
|
|
ASSERT(12, M1 5);
|
|
|
|
#define M1 3+4
|
|
ASSERT(23, M1*5);
|
|
|
|
#define ASSERT_ Assert(
|
|
#define if 5
|
|
#define five "5"
|
|
#define END )
|
|
ASSERT_ 5, if, five END;
|
|
|
|
#undef ASSERT_
|
|
#undef if
|
|
#undef five
|
|
#undef END
|
|
|
|
if (0);
|
|
|
|
#define M 5
|
|
#if M
|
|
m = 5;
|
|
#else
|
|
m = 6;
|
|
#endif
|
|
ASSERT(5, m);
|
|
|
|
#define M 5
|
|
#if M-5
|
|
m = 6;
|
|
#elif M
|
|
m = 5;
|
|
#endif
|
|
ASSERT(5, m);
|
|
|
|
int M2 = 6;
|
|
#define M2 M2 + 3
|
|
ASSERT(9, M2);
|
|
|
|
#define M3 M2 + 3
|
|
ASSERT(12, M3);
|
|
|
|
int M4 = 3;
|
|
#define M4 M5 * 5
|
|
#define M5 M4 + 2
|
|
ASSERT(13, M4);
|
|
|
|
#ifdef M6
|
|
m = 5;
|
|
#else
|
|
m = 3;
|
|
#endif
|
|
ASSERT(3, m);
|
|
|
|
#define M6
|
|
#ifdef M6
|
|
m = 5;
|
|
#else
|
|
m = 3;
|
|
#endif
|
|
ASSERT(5, m);
|
|
|
|
#ifndef M7
|
|
m = 3;
|
|
#else
|
|
m = 5;
|
|
#endif
|
|
ASSERT(3, m);
|
|
|
|
#define M7
|
|
#ifndef M7
|
|
m = 3;
|
|
#else
|
|
m = 5;
|
|
#endif
|
|
ASSERT(5, m);
|
|
|
|
#if 0
|
|
#ifdef NO_SUCH_MACRO
|
|
#endif
|
|
#ifndef NO_SUCH_MACRO
|
|
#endif
|
|
#else
|
|
#endif
|
|
|
|
#define M7() 1
|
|
int M7 = 5;
|
|
ASSERT(1, M7());
|
|
ASSERT(5, M7);
|
|
|
|
#define M7 ()
|
|
ASSERT(3, ret3 M7);
|
|
|
|
#define M8(x,y) x+y
|
|
ASSERT(7, M8(3, 4));
|
|
|
|
#define M8(x,y) x*y
|
|
ASSERT(24, M8(3+4, 4+5));
|
|
|
|
#define M8(x,y) (x)*(y)
|
|
ASSERT(63, M8(3+4, 4+5));
|
|
|
|
#define M8(x,y) x y
|
|
ASSERT(9, M8(, 4+5));
|
|
|
|
#define M8(x,y) x*y
|
|
ASSERT(20, M8((2+3), 4));
|
|
|
|
#define M8(x,y) x*y
|
|
ASSERT(12, M8((2,3), 4));
|
|
|
|
#define dbl(x) M10(x) * x
|
|
#define M10(x) dbl(x) + 3
|
|
ASSERT(10, dbl(2));
|
|
|
|
#define M11(x) #x
|
|
ASSERT('a', M11( a!b `""c)[0]);
|
|
ASSERT('!', M11( a!b `""c)[1]);
|
|
ASSERT('b', M11( a!b `""c)[2]);
|
|
ASSERT(' ', M11( a!b `""c)[3]);
|
|
ASSERT('`', M11( a!b `""c)[4]);
|
|
ASSERT('"', M11( a!b `""c)[5]);
|
|
ASSERT('"', M11( a!b `""c)[6]);
|
|
ASSERT('c', M11( a!b `""c)[7]);
|
|
ASSERT(0, M11( a!b `""c)[8]);
|
|
|
|
#define paste(x,y) x##y
|
|
ASSERT(15, paste(1,5));
|
|
ASSERT(255, paste(0,xff));
|
|
ASSERT(3, ({ int foobar=3; paste(foo,bar); }));
|
|
ASSERT(5, paste(5,));
|
|
ASSERT(5, paste(,5));
|
|
|
|
#define i 5
|
|
ASSERT(101, ({ int i3=100; paste(1+i,3); }));
|
|
#undef i
|
|
|
|
#define paste2(x) x##5
|
|
ASSERT(26, paste2(1+2));
|
|
|
|
#define paste3(x) 2##x
|
|
ASSERT(23, paste3(1+2));
|
|
|
|
#define paste4(x, y, z) x##y##z
|
|
ASSERT(123, paste4(1,2,3));
|
|
|
|
#define M12
|
|
#if defined(M12)
|
|
m = 3;
|
|
#else
|
|
m = 4;
|
|
#endif
|
|
ASSERT(3, m);
|
|
|
|
#define M12
|
|
#if defined M12
|
|
m = 3;
|
|
#else
|
|
m = 4;
|
|
#endif
|
|
ASSERT(3, m);
|
|
|
|
#if defined(M12) - 1
|
|
m = 3;
|
|
#else
|
|
m = 4;
|
|
#endif
|
|
ASSERT(4, m);
|
|
|
|
#if defined(NO_SUCH_MACRO)
|
|
m = 3;
|
|
#else
|
|
m = 4;
|
|
#endif
|
|
ASSERT(4, m);
|
|
|
|
#if no_such_symbol == 0
|
|
m = 5;
|
|
#else
|
|
m = 6;
|
|
#endif
|
|
ASSERT(5, m);
|
|
|
|
#define STR(x) #x
|
|
#define M12(x) STR(x)
|
|
#define M13(x) M12(foo.x)
|
|
ASSERT(0, strcmp(M13(bar), "foo.bar"));
|
|
|
|
#define M13(x) M12(foo. x)
|
|
ASSERT(0, strcmp(M13(bar), "foo. bar"));
|
|
|
|
#define M12 foo
|
|
#define M13(x) STR(x)
|
|
#define M14(x) M13(x.M12)
|
|
ASSERT(0, strcmp(M14(bar), "bar.foo"));
|
|
|
|
#define M14(x) M13(x. M12)
|
|
ASSERT(0, strcmp(M14(bar), "bar. foo"));
|
|
|
|
#include "third_party/chibicc/test/include3.h"
|
|
ASSERT(3, foo);
|
|
|
|
#include "third_party/chibicc/test/include4.h"
|
|
ASSERT(4, foo);
|
|
|
|
#define M13 "third_party/chibicc/test/include3.h"
|
|
#include M13
|
|
ASSERT(3, foo);
|
|
|
|
#define M13 < third_party/chibicc/test/include4.h
|
|
#include M13 >
|
|
ASSERT(4, foo);
|
|
|
|
#undef foo
|
|
|
|
ASSERT(1, __STDC__);
|
|
|
|
ASSERT(0, strcmp(main_filename1, "third_party/chibicc/test/macro_test.c"));
|
|
ASSERT(5, main_line1);
|
|
ASSERT(7, main_line2);
|
|
ASSERT(0, strcmp(include1_filename, "third_party/chibicc/test/include1.h"));
|
|
ASSERT(4, include1_line);
|
|
|
|
#define M14(...) 3
|
|
ASSERT(3, M14());
|
|
|
|
#define M14(...) __VA_ARGS__
|
|
ASSERT(2, M14() 2);
|
|
ASSERT(5, M14(5));
|
|
|
|
#define M14(...) add2(__VA_ARGS__)
|
|
ASSERT(8, M14(2, 6));
|
|
|
|
#define M14(...) add6(1,2,__VA_ARGS__,6)
|
|
ASSERT(21, M14(3,4,5));
|
|
|
|
#define M14(x, ...) add6(1,2,x,__VA_ARGS__,6)
|
|
ASSERT(21, M14(3,4,5));
|
|
|
|
#define M14(args...) 3
|
|
ASSERT(3, M14());
|
|
|
|
#define M14(x, ...) x
|
|
ASSERT(5, M14(5));
|
|
|
|
#define M14(args...) args
|
|
ASSERT(2, M14() 2);
|
|
ASSERT(5, M14(5));
|
|
|
|
#define M14(args...) add2(args)
|
|
ASSERT(8, M14(2, 6));
|
|
|
|
#define M14(args...) add6(1,2,args,6)
|
|
ASSERT(21, M14(3,4,5));
|
|
|
|
#define M14(x, args...) add6(1,2,x,args,6)
|
|
ASSERT(21, M14(3,4,5));
|
|
|
|
#define M14(x, args...) x
|
|
ASSERT(5, M14(5));
|
|
|
|
#define CONCAT(x,y) x##y
|
|
ASSERT(5, ({ int f0zz=5; CONCAT(f,0zz); }));
|
|
ASSERT(5, ({ CONCAT(4,.57) + 0.5; }));
|
|
|
|
ASSERT(11, strlen(__DATE__));
|
|
ASSERT(8, strlen(__TIME__));
|
|
|
|
ASSERT(0, __COUNTER__);
|
|
ASSERT(1, __COUNTER__);
|
|
ASSERT(2, __COUNTER__);
|
|
|
|
ASSERT(24, strlen(__TIMESTAMP__));
|
|
|
|
ASSERT(0, strcmp(__BASE_FILE__, "third_party/chibicc/test/macro_test.c"));
|
|
|
|
#define M30(buf, fmt, ...) sprintf(buf, fmt __VA_OPT__(,) __VA_ARGS__)
|
|
ASSERT(0, ({ char buf[100]; M30(buf, "foo"); strcmp(buf, "foo"); }));
|
|
ASSERT(0, ({ char buf[100]; M30(buf, "foo%d", 3); strcmp(buf, "foo3"); }));
|
|
ASSERT(0, ({ char buf[100]; M30(buf, "foo%d%d", 3, 5); strcmp(buf, "foo35"); }));
|
|
|
|
#define M31(buf, fmt, ...) sprintf(buf, fmt, ## __VA_ARGS__)
|
|
ASSERT(0, ({ char buf[100]; M31(buf, "foo"); strcmp(buf, "foo"); }));
|
|
ASSERT(0, ({ char buf[100]; M31(buf, "foo%d", 3); strcmp(buf, "foo3"); }));
|
|
ASSERT(0, ({ char buf[100]; M31(buf, "foo%d%d", 3, 5); strcmp(buf, "foo35"); }));
|
|
|
|
#define M31(x, y) (1, ##x y)
|
|
ASSERT(3, M31(, 3));
|
|
|
|
return 0;
|
|
}
|