From 017d1094d1e8a5bfcb793651cc5d34f6dd7442f0 Mon Sep 17 00:00:00 2001 From: Thomas Walker Lynch Date: Thu, 15 May 2025 10:11:21 +0000 Subject: [PATCH] moving to an RT project directory structure --- README.md | 21 +- .../experiment\360\237\226\211/.gitignore" | 0 .../assign_directive.c" | 0 .../assign_test_1.c" | 0 .../assign_test_2.c" | 0 .../macro_test_1.c" | 0 .../macro_test_2.c" | 0 .../recursive_define_0.c" | 0 .../recursive_define_1.c" | 0 .../recursive_define_2.c" | 0 .../README.org" | 12 + .../RT_extensions_diff.sh" | 55 + .../RT_extensions_install.sh" | 13 +- .../RT_extensions_libcpp_capture.sh" | 31 +- .../RT_extensions_libcpp_save.sh" | 46 + .../build_all.sh" | 3 - .../build_gcc.sh" | 0 .../clean_build.sh" | 0 .../clean_dist.sh" | 0 .../clean_source.sh" | 0 .../clean_upstream.sh" | 0 .../deprecated/stuff.cc" | 0 .../environment.sh" | 6 + .../library/directives.cc" | 19 +- .../library/include/cpplib.h" | 1572 +++++++++++++++++ .../library/init.cc" | 918 ++++++++++ .../library/macro.cc" | 0 .../mv_libs_to_gcc.sh" | 0 .../project_download.sh" | 0 .../project_extract.sh" | 0 .../project_requisites.sh" | 0 .../project_setup.sh" | 0 .../rebuild_gcc.sh" | 0 .../todo.org" | 3 + .../script_gcc-15\360\237\226\211/README.org" | 0 .../audit_glibc_headers.sh" | 0 .../build_Linux_requisites.sh" | 0 .../build_all.sh" | 0 .../build_binutils.sh" | 0 .../build_binutils_requisites.sh" | 0 .../build_gcc_final.sh" | 0 .../build_gcc_final_requisites.sh" | 0 .../build_gcc_stage1.sh" | 0 .../build_gcc_stage1_requisites.sh" | 0 .../build_glibc.sh" | 0 .../build_glibc_bootstrap.sh" | 0 .../build_glibc_bootstrap_requisites.sh" | 0 .../build_glibc_crt.sh" | 0 .../build_glibc_crt_requisites.sh" | 0 .../build_glibc_headers.sh" | 0 .../build_glibc_headers_requisites.sh" | 0 .../build_glibc_requisites.sh" | 0 .../build_linux.sh" | 0 .../clean_build.sh" | 0 .../clean_dist.sh" | 0 .../clean_source.sh" | 0 .../clean_upstream.sh" | 0 .../environment.sh" | 0 .../project_download.sh" | 0 .../project_extract.sh" | 0 .../project_requisites.sh" | 0 .../project_setup.sh" | 0 env_toolsmith => env_developer | 4 +- env_tester | 2 - library/README.org | 26 + library/cpp_ext.c | 19 + library/cpp_ext_0.c | 290 +++ library/cpp_ext_1.c | 195 ++ release/Deb-12.10_gcc-12.4.1/README.org | 2 + release/Deb-12.10_gcc-12.4.1/bin | 1 + release/Deb-12.10_gcc-12.4.1/include | 1 + release/Deb-12.10_gcc-12.4.1/lib | 1 + release/Deb-12.10_gcc-12.4.1/lib64 | 1 + release/Deb-12.10_gcc-12.4.1/libexec | 1 + release/Deb-12.10_gcc-12.4.1/share | 1 + 75 files changed, 3213 insertions(+), 30 deletions(-) rename "experiment\360\237\226\211/.gitignore" => "developer/experiment\360\237\226\211/.gitignore" (100%) rename "experiment\360\237\226\211/assign_directive.c" => "developer/experiment\360\237\226\211/assign_directive.c" (100%) rename "experiment\360\237\226\211/assign_test_1.c" => "developer/experiment\360\237\226\211/assign_test_1.c" (100%) rename "experiment\360\237\226\211/assign_test_2.c" => "developer/experiment\360\237\226\211/assign_test_2.c" (100%) rename "experiment\360\237\226\211/macro_test_1.c" => "developer/experiment\360\237\226\211/macro_test_1.c" (100%) rename "experiment\360\237\226\211/macro_test_2.c" => "developer/experiment\360\237\226\211/macro_test_2.c" (100%) rename "experiment\360\237\226\211/recursive_define_0.c" => "developer/experiment\360\237\226\211/recursive_define_0.c" (100%) rename "experiment\360\237\226\211/recursive_define_1.c" => "developer/experiment\360\237\226\211/recursive_define_1.c" (100%) rename "experiment\360\237\226\211/recursive_define_2.c" => "developer/experiment\360\237\226\211/recursive_define_2.c" (100%) rename "script_Deb-12.10_gcc-12.4.1\360\237\226\211/README.org" => "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/README.org" (83%) create mode 100755 "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_diff.sh" rename "script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_install.sh" => "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_install.sh" (87%) rename "script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_libcpp_capture.sh" => "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_libcpp_capture.sh" (77%) create mode 100755 "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_libcpp_save.sh" rename "script_Deb-12.10_gcc-12.4.1\360\237\226\211/build_all.sh" => "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/build_all.sh" (88%) rename "script_Deb-12.10_gcc-12.4.1\360\237\226\211/build_gcc.sh" => "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/build_gcc.sh" (100%) rename "script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_build.sh" => "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_build.sh" (100%) rename "script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_dist.sh" => "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_dist.sh" (100%) rename "script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_source.sh" => "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_source.sh" (100%) rename "script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_upstream.sh" => "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_upstream.sh" (100%) rename "script_Deb-12.10_gcc-12.4.1\360\237\226\211/deprecated/stuff.cc" => "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/deprecated/stuff.cc" (100%) rename "script_Deb-12.10_gcc-12.4.1\360\237\226\211/environment.sh" => "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/environment.sh" (95%) rename "script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/directives.cc" => "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/directives.cc" (99%) create mode 100644 "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/include/cpplib.h" create mode 100644 "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/init.cc" rename "script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/macro.cc" => "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/macro.cc" (100%) rename "script_Deb-12.10_gcc-12.4.1\360\237\226\211/mv_libs_to_gcc.sh" => "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/mv_libs_to_gcc.sh" (100%) rename "script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_download.sh" => "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_download.sh" (100%) rename "script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_extract.sh" => "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_extract.sh" (100%) rename "script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_requisites.sh" => "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_requisites.sh" (100%) rename "script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_setup.sh" => "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_setup.sh" (100%) rename "script_Deb-12.10_gcc-12.4.1\360\237\226\211/rebuild_gcc.sh" => "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/rebuild_gcc.sh" (100%) rename "script_Deb-12.10_gcc-12.4.1\360\237\226\211/todo.org" => "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/todo.org" (77%) rename "script_gcc-15\360\237\226\211/README.org" => "developer/script_gcc-15\360\237\226\211/README.org" (100%) rename "script_gcc-15\360\237\226\211/audit_glibc_headers.sh" => "developer/script_gcc-15\360\237\226\211/audit_glibc_headers.sh" (100%) rename "script_gcc-15\360\237\226\211/build_Linux_requisites.sh" => "developer/script_gcc-15\360\237\226\211/build_Linux_requisites.sh" (100%) rename "script_gcc-15\360\237\226\211/build_all.sh" => "developer/script_gcc-15\360\237\226\211/build_all.sh" (100%) rename "script_gcc-15\360\237\226\211/build_binutils.sh" => "developer/script_gcc-15\360\237\226\211/build_binutils.sh" (100%) rename "script_gcc-15\360\237\226\211/build_binutils_requisites.sh" => "developer/script_gcc-15\360\237\226\211/build_binutils_requisites.sh" (100%) rename "script_gcc-15\360\237\226\211/build_gcc_final.sh" => "developer/script_gcc-15\360\237\226\211/build_gcc_final.sh" (100%) rename "script_gcc-15\360\237\226\211/build_gcc_final_requisites.sh" => "developer/script_gcc-15\360\237\226\211/build_gcc_final_requisites.sh" (100%) rename "script_gcc-15\360\237\226\211/build_gcc_stage1.sh" => "developer/script_gcc-15\360\237\226\211/build_gcc_stage1.sh" (100%) rename "script_gcc-15\360\237\226\211/build_gcc_stage1_requisites.sh" => "developer/script_gcc-15\360\237\226\211/build_gcc_stage1_requisites.sh" (100%) rename "script_gcc-15\360\237\226\211/build_glibc.sh" => "developer/script_gcc-15\360\237\226\211/build_glibc.sh" (100%) rename "script_gcc-15\360\237\226\211/build_glibc_bootstrap.sh" => "developer/script_gcc-15\360\237\226\211/build_glibc_bootstrap.sh" (100%) rename "script_gcc-15\360\237\226\211/build_glibc_bootstrap_requisites.sh" => "developer/script_gcc-15\360\237\226\211/build_glibc_bootstrap_requisites.sh" (100%) rename "script_gcc-15\360\237\226\211/build_glibc_crt.sh" => "developer/script_gcc-15\360\237\226\211/build_glibc_crt.sh" (100%) rename "script_gcc-15\360\237\226\211/build_glibc_crt_requisites.sh" => "developer/script_gcc-15\360\237\226\211/build_glibc_crt_requisites.sh" (100%) rename "script_gcc-15\360\237\226\211/build_glibc_headers.sh" => "developer/script_gcc-15\360\237\226\211/build_glibc_headers.sh" (100%) rename "script_gcc-15\360\237\226\211/build_glibc_headers_requisites.sh" => "developer/script_gcc-15\360\237\226\211/build_glibc_headers_requisites.sh" (100%) rename "script_gcc-15\360\237\226\211/build_glibc_requisites.sh" => "developer/script_gcc-15\360\237\226\211/build_glibc_requisites.sh" (100%) rename "script_gcc-15\360\237\226\211/build_linux.sh" => "developer/script_gcc-15\360\237\226\211/build_linux.sh" (100%) rename "script_gcc-15\360\237\226\211/clean_build.sh" => "developer/script_gcc-15\360\237\226\211/clean_build.sh" (100%) rename "script_gcc-15\360\237\226\211/clean_dist.sh" => "developer/script_gcc-15\360\237\226\211/clean_dist.sh" (100%) rename "script_gcc-15\360\237\226\211/clean_source.sh" => "developer/script_gcc-15\360\237\226\211/clean_source.sh" (100%) rename "script_gcc-15\360\237\226\211/clean_upstream.sh" => "developer/script_gcc-15\360\237\226\211/clean_upstream.sh" (100%) rename "script_gcc-15\360\237\226\211/environment.sh" => "developer/script_gcc-15\360\237\226\211/environment.sh" (100%) rename "script_gcc-15\360\237\226\211/project_download.sh" => "developer/script_gcc-15\360\237\226\211/project_download.sh" (100%) rename "script_gcc-15\360\237\226\211/project_extract.sh" => "developer/script_gcc-15\360\237\226\211/project_extract.sh" (100%) rename "script_gcc-15\360\237\226\211/project_requisites.sh" => "developer/script_gcc-15\360\237\226\211/project_requisites.sh" (100%) rename "script_gcc-15\360\237\226\211/project_setup.sh" => "developer/script_gcc-15\360\237\226\211/project_setup.sh" (100%) rename env_toolsmith => env_developer (65%) create mode 100644 library/README.org create mode 100644 library/cpp_ext.c create mode 100644 library/cpp_ext_0.c create mode 100644 library/cpp_ext_1.c create mode 100644 release/Deb-12.10_gcc-12.4.1/README.org create mode 120000 release/Deb-12.10_gcc-12.4.1/bin create mode 120000 release/Deb-12.10_gcc-12.4.1/include create mode 120000 release/Deb-12.10_gcc-12.4.1/lib create mode 120000 release/Deb-12.10_gcc-12.4.1/lib64 create mode 120000 release/Deb-12.10_gcc-12.4.1/libexec create mode 120000 release/Deb-12.10_gcc-12.4.1/share diff --git a/README.md b/README.md index 05e4247..6068be7 100644 --- a/README.md +++ b/README.md @@ -1,11 +1,10 @@ # Standalone GCC installation with optional RT cpp extensions - ## State of the scripts The default branch is 'core_developers_branch'. (It is not 'master'.) -The scripts in the script_Deb-12.10_gcc-12.4.1🖉/ directory are currently working to build gcc-12.4.1 on a Debian-12.10 system. They also work to build gcc-12.4.1 with the optional RT extensions to cpp. +The scripts in the script_Deb-12.10_gcc-12.4.1🖉/ directory are currently building gcc-12.4.1 on a Debian-12.10 system. They also work to build gcc-12.4.1 with the optional RT extensions to cpp. If you are on another system, or using another version of gcc, if the script_Deb-12.10_gcc-12.4.1🖉/ scripts work for you, please note that here. @@ -22,6 +21,10 @@ To see documentation on how to do the build, read the README in the appropriate ## The RT extentions +The RT extensions won't let you write recrusive macros. My apologies to my cpp magic friends. However, they will let you write sets, and to associate values with set members. See the documents directory more information. + +Also for reference, I put the cpp magic like faux recursion in the top level library directory, but I suspect you won't need it. + ### `#rt_macro` Defines a macro in standard ISO form, using token literal parsing and optional parameter substitution. Basically it is `#define` where the body is contained within parenthesis, and need not be on one line. @@ -116,3 +119,17 @@ __CAT(, foo, bar, baz) // expands to: foobarbaz This project is licensed under the **MIT License**. See the `LICENSE.text` file for full terms. + +## Project Structure / Building + +The top level directory is for project overhead files. Development work is done in the 'developer' directory. If someday there is a test bench it will go in the 'tester' directory. + +Begin the build process by editing the environment setting script, `env_developer` so that it goes to the correct build script directory, then source it. + +``` +> . env_developer +``` + +The build script directory will have a README.org, as well as bash scripts that can be read directly. + + diff --git "a/experiment\360\237\226\211/.gitignore" "b/developer/experiment\360\237\226\211/.gitignore" similarity index 100% rename from "experiment\360\237\226\211/.gitignore" rename to "developer/experiment\360\237\226\211/.gitignore" diff --git "a/experiment\360\237\226\211/assign_directive.c" "b/developer/experiment\360\237\226\211/assign_directive.c" similarity index 100% rename from "experiment\360\237\226\211/assign_directive.c" rename to "developer/experiment\360\237\226\211/assign_directive.c" diff --git "a/experiment\360\237\226\211/assign_test_1.c" "b/developer/experiment\360\237\226\211/assign_test_1.c" similarity index 100% rename from "experiment\360\237\226\211/assign_test_1.c" rename to "developer/experiment\360\237\226\211/assign_test_1.c" diff --git "a/experiment\360\237\226\211/assign_test_2.c" "b/developer/experiment\360\237\226\211/assign_test_2.c" similarity index 100% rename from "experiment\360\237\226\211/assign_test_2.c" rename to "developer/experiment\360\237\226\211/assign_test_2.c" diff --git "a/experiment\360\237\226\211/macro_test_1.c" "b/developer/experiment\360\237\226\211/macro_test_1.c" similarity index 100% rename from "experiment\360\237\226\211/macro_test_1.c" rename to "developer/experiment\360\237\226\211/macro_test_1.c" diff --git "a/experiment\360\237\226\211/macro_test_2.c" "b/developer/experiment\360\237\226\211/macro_test_2.c" similarity index 100% rename from "experiment\360\237\226\211/macro_test_2.c" rename to "developer/experiment\360\237\226\211/macro_test_2.c" diff --git "a/experiment\360\237\226\211/recursive_define_0.c" "b/developer/experiment\360\237\226\211/recursive_define_0.c" similarity index 100% rename from "experiment\360\237\226\211/recursive_define_0.c" rename to "developer/experiment\360\237\226\211/recursive_define_0.c" diff --git "a/experiment\360\237\226\211/recursive_define_1.c" "b/developer/experiment\360\237\226\211/recursive_define_1.c" similarity index 100% rename from "experiment\360\237\226\211/recursive_define_1.c" rename to "developer/experiment\360\237\226\211/recursive_define_1.c" diff --git "a/experiment\360\237\226\211/recursive_define_2.c" "b/developer/experiment\360\237\226\211/recursive_define_2.c" similarity index 100% rename from "experiment\360\237\226\211/recursive_define_2.c" rename to "developer/experiment\360\237\226\211/recursive_define_2.c" diff --git "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/README.org" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/README.org" similarity index 83% rename from "script_Deb-12.10_gcc-12.4.1\360\237\226\211/README.org" rename to "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/README.org" index d9aae6b..6a6bacd 100755 --- "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/README.org" +++ "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/README.org" @@ -39,3 +39,15 @@ Don't forget `source env_toolsmith` in your shell. * Build See the script build_all.sh for a description of the complete build process. + +When editing the RT Extensions, the work flow is typically: + +while cwd in the script directory: +1. edit the library/ +2. `./RT_extension_install.h` +3. `./rebuild_gcc.sh` +4. run some experiments + +It would of course be better to have a test suite. + +I typically leave an emacs shell open in the $ROOT/source/gcc-12.2.0/libcpp/ directory for purposes of exploring the other source code files. diff --git "a/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_diff.sh" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_diff.sh" new file mode 100755 index 0000000..4c928e6 --- /dev/null +++ "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_diff.sh" @@ -0,0 +1,55 @@ +#!/bin/bash +set -euo pipefail + +# Provides RT_CPP_FILES +source "$(dirname "$0")/environment.sh" + +if [[ -z "${ROOT:-}" ]]; then + echo "❌ ROOT environment variable is not set. Aborting." + exit 1 +fi +if [[ -z "${SCRIPT_DIR:-}" ]]; then + echo "❌ SCRIPT_DIR environment variable is not set. Aborting." + exit 1 +fi + +SRCDIR="library/" +DESTDIR="$GCC_SRC/libcpp/" + +if [[ ! -d "$SRCDIR" ]]; then + echo "❌ Source directory '$SRCDIR' does not exist." + exit 1 +fi + +if [[ ! -d "$DESTDIR" ]]; then + echo "❌ Destination directory '$DESTDIR' does not exist." + exit 1 +fi + +echo "🔍 Diffing library ↔ libcpp..." + +for file in "${RT_CPP_FILES[@]}"; do + SRC="$SRCDIR/$file" + DEST="$DESTDIR/$file" + + echo "🔸 $file" + + if [[ ! -f "$SRC" ]]; then + echo " ⚠️ Missing in library/: $SRC" + continue + fi + + if [[ ! -f "$DEST" ]]; then + echo " ⚠️ Missing in libcpp/: $DEST" + continue + fi + + if cmp -s "$SRC" "$DEST"; then + echo " ✅ No differences." + else + echo " ❗ Differences found:" + diff -u "$DEST" "$SRC" || true + fi +done + +echo "✅ Diff check complete." diff --git "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_install.sh" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_install.sh" similarity index 87% rename from "script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_install.sh" rename to "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_install.sh" index 634f148..df789e7 100755 --- "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_install.sh" +++ "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_install.sh" @@ -1,14 +1,17 @@ #!/bin/bash set -euo pipefail +# provides RT_CPP_FILES +source "$(dirname "$0")/environment.sh" + # Check ROOT is set if [[ -z "${ROOT:-}" ]]; then echo "❌ ROOT environment variable is not set. Aborting." exit 1 fi -SRCDIR="$ROOT/script_gcc_min-12🖉/library" -DESTDIR="$ROOT/source/gcc-12.2.0/libcpp" +SRCDIR="library/" +DESTDIR="$GCC_SRC/libcpp/" if [[ ! -d "$SRCDIR" ]]; then echo "❌ Source directory '$SRCDIR' does not exist." @@ -20,11 +23,9 @@ if [[ ! -d "$DESTDIR" ]]; then exit 1 fi -FILES=(init.cc directives.cc macro.cc) - echo "📋 Installing files from $SRCDIR to $DESTDIR..." -for file in "${FILES[@]}"; do +for file in "${RT_CPP_FILES[@]}"; do SRC="$SRCDIR/$file" DEST="$DESTDIR/$file" @@ -35,7 +36,7 @@ for file in "${FILES[@]}"; do if [[ ! -f "$DEST" || "$SRC" -nt "$DEST" ]]; then echo "📥 Installing (newer or missing): $file" - cp "$SRC" "$DEST" + cp -p "$SRC" "$DEST" elif [[ "$DEST" -nt "$SRC" ]]; then echo "⚠️ Destination file '$file' is newer than the source." echo "🔍 Showing diff:" diff --git "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_libcpp_capture.sh" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_libcpp_capture.sh" similarity index 77% rename from "script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_libcpp_capture.sh" rename to "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_libcpp_capture.sh" index 59d482a..ab0813f 100755 --- "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_libcpp_capture.sh" +++ "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_libcpp_capture.sh" @@ -1,18 +1,37 @@ #!/bin/bash set -euo pipefail -echo "⚠️ You probably don't want to run this script. The files in \$ROOT/script_gcc_min-12🖉/library are intended to be the authoritative copies." +# provides RT_CPP_FILES +source "$(dirname "$0")/environment.sh" + + +echo "⚠️ You probably don't want to run this script. The files in \$ROOT/script_Deb-12.10_gcc-12.4.1🖉/library are intended to be the authoritative copies." echo "So you did the bad thing and edited the files directly in the GCC source tree? Then this script is for you. ;-)" echo -# Check ROOT is set +echo -n "Continue❓ [y/N]: " +read -r response +if [[ "$response" == "y" || "$response" == "Y" ]]; then + : +else + exit 1 +fi + + if [[ -z "${ROOT:-}" ]]; then echo "❌ ROOT environment variable is not set. Aborting." exit 1 fi +if [[ -z "${SCRIPT_DIR:-}" ]]; then + echo "❌ SCRIPT_DIR environment variable is not set. Aborting." + exit 1 +fi +SRCDIR="library/" +DESTDIR="$GCC_SRC/libcpp/" + SRCDIR="$ROOT/source/gcc-12.2.0/libcpp" -DESTDIR="$ROOT/script_gcc_min-12🖉/library" +DESTDIR="$ROOT/script_Deb-12.10_gcc-12.4.1🖉/library" if [[ ! -d "$SRCDIR" ]]; then echo "❌ Source directory '$SRCDIR' does not exist." @@ -24,14 +43,14 @@ if [[ ! -d "$DESTDIR" ]]; then exit 1 fi -FILES=(init.cc directives.cc macro.cc) - echo "📋 Checking files in $SRCDIR to copy to $DESTDIR..." -for file in "${FILES[@]}"; do +for file in "${RT_CPP_FILES[@]}"; do SRC="$SRCDIR/$file" DEST="$DESTDIR/$file" + mkdir -p "$(dirname "$DEST")" + if [[ ! -f "$SRC" ]]; then echo "⚠️ Source file '$SRC' not found. Skipping." continue diff --git "a/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_libcpp_save.sh" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_libcpp_save.sh" new file mode 100755 index 0000000..fe2a212 --- /dev/null +++ "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/RT_extensions_libcpp_save.sh" @@ -0,0 +1,46 @@ +#!/bin/bash +set -euo pipefail + +# provides RT_CPP_FILES +source "$(dirname "$0")/environment.sh" + +# Save original versions of libcpp files to prevent accidental loss +# Appends _orig after the .cc extension (e.g., macro.cc → macro.cc_orig) +# Files remain in place but can be manually diffed or restored if needed + +if [[ -z "${ROOT:-}" ]]; then + echo "❌ ROOT environment variable is not set. Aborting." + exit 1 +fi +if [[ -z "${SCRIPT_DIR:-}" ]]; then + echo "❌ SCRIPT_DIR environment variable is not set. Aborting." + exit 1 +fi + +TARGETDIR="$GCC_SRC/libcpp/" + +if [[ ! -d "$TARGETDIR" ]]; then + echo "❌ Target directory '$TARGETDIR' does not exist." + exit 1 +fi + +echo "📦 Saving original copies of target files..." + +for file in "${RT_CPP_FILES[@]}"; do + SRC="$TARGETDIR/$file" + BACKUP="$SRC"_orig + + if [[ ! -f "$SRC" ]]; then + echo "⚠️ Source file '$SRC' not found. Skipping." + continue + fi + + if [[ -f "$BACKUP" ]]; then + echo "✅ Already saved: $file → $(basename "$BACKUP")" + else + cp -p "$SRC" "$BACKUP" + echo "📁 Saved: $file → $(basename "$BACKUP")" + fi +done + +echo "✅ All originals saved." diff --git "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/build_all.sh" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/build_all.sh" similarity index 88% rename from "script_Deb-12.10_gcc-12.4.1\360\237\226\211/build_all.sh" rename to "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/build_all.sh" index df90a0e..d4f81ea 100755 --- "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/build_all.sh" +++ "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/build_all.sh" @@ -2,12 +2,9 @@ set -euo pipefail cd "$(dirname "$0")" -SCRIPT_DIR="$PWD" source "$SCRIPT_DIR/environment.sh" -cd "$SCRIPT_DIR" - ./project_setup.sh ./project_download.sh ./project_extract.sh diff --git "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/build_gcc.sh" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/build_gcc.sh" similarity index 100% rename from "script_Deb-12.10_gcc-12.4.1\360\237\226\211/build_gcc.sh" rename to "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/build_gcc.sh" diff --git "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_build.sh" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_build.sh" similarity index 100% rename from "script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_build.sh" rename to "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_build.sh" diff --git "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_dist.sh" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_dist.sh" similarity index 100% rename from "script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_dist.sh" rename to "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_dist.sh" diff --git "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_source.sh" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_source.sh" similarity index 100% rename from "script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_source.sh" rename to "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_source.sh" diff --git "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_upstream.sh" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_upstream.sh" similarity index 100% rename from "script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_upstream.sh" rename to "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/clean_upstream.sh" diff --git "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/deprecated/stuff.cc" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/deprecated/stuff.cc" similarity index 100% rename from "script_Deb-12.10_gcc-12.4.1\360\237\226\211/deprecated/stuff.cc" rename to "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/deprecated/stuff.cc" diff --git "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/environment.sh" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/environment.sh" similarity index 95% rename from "script_Deb-12.10_gcc-12.4.1\360\237\226\211/environment.sh" rename to "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/environment.sh" index 49ee8c4..a92d106 100755 --- "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/environment.sh" +++ "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/environment.sh" @@ -113,6 +113,12 @@ cd $SCRIPT_DIR "$ZSTD_SRC" ) +#-------------------------------------------------------------------------------- +# RT extensions affected files + + RT_CPP_FILES=(init.cc directives.cc macro.cc include/cpplib.h) + + #-------------------------------------------------------------------------------- # build diff --git "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/directives.cc" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/directives.cc" similarity index 99% rename from "script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/directives.cc" rename to "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/directives.cc" index 0c5b6f3..3633f3a 100644 --- "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/directives.cc" +++ "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/directives.cc" @@ -167,6 +167,7 @@ static void cpp_pop_definition (cpp_reader *, struct def_pragma_macro *); D(assert ,T_ASSERT ,EXTENSION ,DEPRECATED) /* SVR4 */ \ D(unassert ,T_UNASSERT ,EXTENSION ,DEPRECATED) /* SVR4 */ \ D(sccs ,T_SCCS ,EXTENSION ,IN_I) /* SVR4? */ \ + // RT exxtenssions: D(rt_macro ,T_MACRO ,EXTENSION ,IN_I) \ D(assign ,T_ASSIGN ,EXTENSION ,IN_I) @@ -2958,21 +2959,21 @@ static void do_assign(cpp_reader *pfile){ /*-------------------------------------------------------------------------------- directive `#macro` - cmd ::= "#macro" name params body ; + directive ::= "#rt_macro" name params body ; - name ::= identifier ; + name ::= identifier ; - params ::= "(" param_list? ")" ; - param_list ::= identifier ("," identifier)* ; + params ::= "(" param_list? ")" ; + param_list ::= identifier ("," identifier)* ; - body ::= clause ; + body ::= paren_clause ; - clause ::= "(" literal? ")" | "[" expr? "]" ; + paren_clause ::= "(" literal? ")" - literal ::= ; sequence parsed into tokens - expr ::= ; sequence parsed into tokens with recursive expansion of each token + literal ::= ; sequence parsed into tokens without expansion - ; white space, including new lines, is ignored. + + ; whitespace, including newlines, is ignored */ diff --git "a/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/include/cpplib.h" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/include/cpplib.h" new file mode 100644 index 0000000..cb51af7 --- /dev/null +++ "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/include/cpplib.h" @@ -0,0 +1,1572 @@ +/* Definitions for CPP library. + Copyright (C) 1995-2022 Free Software Foundation, Inc. + Written by Per Bothner, 1994-95. + +This program is free software; you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by the +Free Software Foundation; either version 3, or (at your option) any +later version. + +This program is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with this program; see the file COPYING3. If not see +. + + In other words, you are welcome to use, share and improve this program. + You are forbidden to forbid anyone else to use, share and improve + what you give them. Help stamp out software-hoarding! */ +#ifndef LIBCPP_CPPLIB_H +#define LIBCPP_CPPLIB_H + +#include +#include "symtab.h" +#include "line-map.h" + +typedef struct cpp_reader cpp_reader; +typedef struct cpp_buffer cpp_buffer; +typedef struct cpp_options cpp_options; +typedef struct cpp_token cpp_token; +typedef struct cpp_string cpp_string; +typedef struct cpp_hashnode cpp_hashnode; +typedef struct cpp_macro cpp_macro; +typedef struct cpp_callbacks cpp_callbacks; +typedef struct cpp_dir cpp_dir; + +struct _cpp_file; + +/* The first three groups, apart from '=', can appear in preprocessor + expressions (+= and -= are used to indicate unary + and - resp.). + This allows a lookup table to be implemented in _cpp_parse_expr. + + The first group, to CPP_LAST_EQ, can be immediately followed by an + '='. The lexer needs operators ending in '=', like ">>=", to be in + the same order as their counterparts without the '=', like ">>". + + See the cpp_operator table optab in expr.cc if you change the order or + add or remove anything in the first group. */ + +#define TTYPE_TABLE \ + OP(EQ, "=") \ + OP(NOT, "!") \ + OP(GREATER, ">") /* compare */ \ + OP(LESS, "<") \ + OP(PLUS, "+") /* math */ \ + OP(MINUS, "-") \ + OP(MULT, "*") \ + OP(DIV, "/") \ + OP(MOD, "%") \ + OP(AND, "&") /* bit ops */ \ + OP(OR, "|") \ + OP(XOR, "^") \ + OP(RSHIFT, ">>") \ + OP(LSHIFT, "<<") \ + \ + OP(COMPL, "~") \ + OP(AND_AND, "&&") /* logical */ \ + OP(OR_OR, "||") \ + OP(QUERY, "?") \ + OP(COLON, ":") \ + OP(COMMA, ",") /* grouping */ \ + OP(OPEN_PAREN, "(") \ + OP(CLOSE_PAREN, ")") \ + TK(EOF, NONE) \ + OP(EQ_EQ, "==") /* compare */ \ + OP(NOT_EQ, "!=") \ + OP(GREATER_EQ, ">=") \ + OP(LESS_EQ, "<=") \ + OP(SPACESHIP, "<=>") \ + \ + /* These two are unary + / - in preprocessor expressions. */ \ + OP(PLUS_EQ, "+=") /* math */ \ + OP(MINUS_EQ, "-=") \ + \ + OP(MULT_EQ, "*=") \ + OP(DIV_EQ, "/=") \ + OP(MOD_EQ, "%=") \ + OP(AND_EQ, "&=") /* bit ops */ \ + OP(OR_EQ, "|=") \ + OP(XOR_EQ, "^=") \ + OP(RSHIFT_EQ, ">>=") \ + OP(LSHIFT_EQ, "<<=") \ + /* Digraphs together, beginning with CPP_FIRST_DIGRAPH. */ \ + OP(HASH, "#") /* digraphs */ \ + OP(PASTE, "##") \ + OP(OPEN_SQUARE, "[") \ + OP(CLOSE_SQUARE, "]") \ + OP(OPEN_BRACE, "{") \ + OP(CLOSE_BRACE, "}") \ + /* The remainder of the punctuation. Order is not significant. */ \ + OP(SEMICOLON, ";") /* structure */ \ + OP(ELLIPSIS, "...") \ + OP(PLUS_PLUS, "++") /* increment */ \ + OP(MINUS_MINUS, "--") \ + OP(DEREF, "->") /* accessors */ \ + OP(DOT, ".") \ + OP(SCOPE, "::") \ + OP(DEREF_STAR, "->*") \ + OP(DOT_STAR, ".*") \ + OP(ATSIGN, "@") /* used in Objective-C */ \ + \ + TK(NAME, IDENT) /* word */ \ + TK(AT_NAME, IDENT) /* @word - Objective-C */ \ + TK(NUMBER, LITERAL) /* 34_be+ta */ \ + \ + TK(CHAR, LITERAL) /* 'char' */ \ + TK(WCHAR, LITERAL) /* L'char' */ \ + TK(CHAR16, LITERAL) /* u'char' */ \ + TK(CHAR32, LITERAL) /* U'char' */ \ + TK(UTF8CHAR, LITERAL) /* u8'char' */ \ + TK(OTHER, LITERAL) /* stray punctuation */ \ + \ + TK(STRING, LITERAL) /* "string" */ \ + TK(WSTRING, LITERAL) /* L"string" */ \ + TK(STRING16, LITERAL) /* u"string" */ \ + TK(STRING32, LITERAL) /* U"string" */ \ + TK(UTF8STRING, LITERAL) /* u8"string" */ \ + TK(OBJC_STRING, LITERAL) /* @"string" - Objective-C */ \ + TK(HEADER_NAME, LITERAL) /* in #include */ \ + \ + TK(CHAR_USERDEF, LITERAL) /* 'char'_suffix - C++-0x */ \ + TK(WCHAR_USERDEF, LITERAL) /* L'char'_suffix - C++-0x */ \ + TK(CHAR16_USERDEF, LITERAL) /* u'char'_suffix - C++-0x */ \ + TK(CHAR32_USERDEF, LITERAL) /* U'char'_suffix - C++-0x */ \ + TK(UTF8CHAR_USERDEF, LITERAL) /* u8'char'_suffix - C++-0x */ \ + TK(STRING_USERDEF, LITERAL) /* "string"_suffix - C++-0x */ \ + TK(WSTRING_USERDEF, LITERAL) /* L"string"_suffix - C++-0x */ \ + TK(STRING16_USERDEF, LITERAL) /* u"string"_suffix - C++-0x */ \ + TK(STRING32_USERDEF, LITERAL) /* U"string"_suffix - C++-0x */ \ + TK(UTF8STRING_USERDEF,LITERAL) /* u8"string"_suffix - C++-0x */ \ + \ + TK(COMMENT, LITERAL) /* Only if output comments. */ \ + /* SPELL_LITERAL happens to DTRT. */ \ + TK(MACRO_ARG, NONE) /* Macro argument. */ \ + TK(PRAGMA, NONE) /* Only for deferred pragmas. */ \ + TK(PRAGMA_EOL, NONE) /* End-of-line for deferred pragmas. */ \ + TK(PADDING, NONE) /* Whitespace for -E. */ + +#define OP(e, s) CPP_ ## e, +#define TK(e, s) CPP_ ## e, +enum cpp_ttype +{ + TTYPE_TABLE + N_TTYPES, + + /* A token type for keywords, as opposed to ordinary identifiers. */ + CPP_KEYWORD, + + /* Positions in the table. */ + CPP_LAST_EQ = CPP_LSHIFT, + CPP_FIRST_DIGRAPH = CPP_HASH, + CPP_LAST_PUNCTUATOR= CPP_ATSIGN, + CPP_LAST_CPP_OP = CPP_LESS_EQ +}; +#undef OP +#undef TK + +/* C language kind, used when calling cpp_create_reader. */ +enum c_lang {CLK_GNUC89 = 0, CLK_GNUC99, CLK_GNUC11, CLK_GNUC17, CLK_GNUC2X, + CLK_STDC89, CLK_STDC94, CLK_STDC99, CLK_STDC11, CLK_STDC17, + CLK_STDC2X, + CLK_GNUCXX, CLK_CXX98, CLK_GNUCXX11, CLK_CXX11, + CLK_GNUCXX14, CLK_CXX14, CLK_GNUCXX17, CLK_CXX17, + CLK_GNUCXX20, CLK_CXX20, CLK_GNUCXX23, CLK_CXX23, + CLK_ASM}; + +/* Payload of a NUMBER, STRING, CHAR or COMMENT token. */ +struct GTY(()) cpp_string { + unsigned int len; + const unsigned char *text; +}; + +/* Flags for the cpp_token structure. */ +#define PREV_WHITE (1 << 0) /* If whitespace before this token. */ +#define DIGRAPH (1 << 1) /* If it was a digraph. */ +#define STRINGIFY_ARG (1 << 2) /* If macro argument to be stringified. */ +#define PASTE_LEFT (1 << 3) /* If on LHS of a ## operator. */ +#define NAMED_OP (1 << 4) /* C++ named operators. */ +#define PREV_FALLTHROUGH (1 << 5) /* On a token preceeded by FALLTHROUGH + comment. */ +#define BOL (1 << 6) /* Token at beginning of line. */ +#define PURE_ZERO (1 << 7) /* Single 0 digit, used by the C++ frontend, + set in c-lex.cc. */ +#define COLON_SCOPE PURE_ZERO /* Adjacent colons in C < 23. */ +#define SP_DIGRAPH (1 << 8) /* # or ## token was a digraph. */ +#define SP_PREV_WHITE (1 << 9) /* If whitespace before a ## + operator, or before this token + after a # operator. */ +#define NO_EXPAND (1 << 10) /* Do not macro-expand this token. */ +#define PRAGMA_OP (1 << 11) /* _Pragma token. */ + +/* Specify which field, if any, of the cpp_token union is used. */ + +enum cpp_token_fld_kind { + CPP_TOKEN_FLD_NODE, + CPP_TOKEN_FLD_SOURCE, + CPP_TOKEN_FLD_STR, + CPP_TOKEN_FLD_ARG_NO, + CPP_TOKEN_FLD_TOKEN_NO, + CPP_TOKEN_FLD_PRAGMA, + CPP_TOKEN_FLD_NONE +}; + +/* A macro argument in the cpp_token union. */ +struct GTY(()) cpp_macro_arg { + /* Argument number. */ + unsigned int arg_no; + /* The original spelling of the macro argument token. */ + cpp_hashnode * + GTY ((nested_ptr (union tree_node, + "%h ? CPP_HASHNODE (GCC_IDENT_TO_HT_IDENT (%h)) : NULL", + "%h ? HT_IDENT_TO_GCC_IDENT (HT_NODE (%h)) : NULL"))) + spelling; +}; + +/* An identifier in the cpp_token union. */ +struct GTY(()) cpp_identifier { + /* The canonical (UTF-8) spelling of the identifier. */ + cpp_hashnode * + GTY ((nested_ptr (union tree_node, + "%h ? CPP_HASHNODE (GCC_IDENT_TO_HT_IDENT (%h)) : NULL", + "%h ? HT_IDENT_TO_GCC_IDENT (HT_NODE (%h)) : NULL"))) + node; + /* The original spelling of the identifier. */ + cpp_hashnode * + GTY ((nested_ptr (union tree_node, + "%h ? CPP_HASHNODE (GCC_IDENT_TO_HT_IDENT (%h)) : NULL", + "%h ? HT_IDENT_TO_GCC_IDENT (HT_NODE (%h)) : NULL"))) + spelling; +}; + +/* A preprocessing token. This has been carefully packed and should + occupy 16 bytes on 32-bit hosts and 24 bytes on 64-bit hosts. */ +struct GTY(()) cpp_token { + + /* Location of first char of token, together with range of full token. */ + location_t src_loc; + + ENUM_BITFIELD(cpp_ttype) type : CHAR_BIT; /* token type */ + unsigned short flags; /* flags - see above */ + + union cpp_token_u + { + /* An identifier. */ + struct cpp_identifier GTY ((tag ("CPP_TOKEN_FLD_NODE"))) node; + + /* Inherit padding from this token. */ + cpp_token * GTY ((tag ("CPP_TOKEN_FLD_SOURCE"))) source; + + /* A string, or number. */ + struct cpp_string GTY ((tag ("CPP_TOKEN_FLD_STR"))) str; + + /* Argument no. (and original spelling) for a CPP_MACRO_ARG. */ + struct cpp_macro_arg GTY ((tag ("CPP_TOKEN_FLD_ARG_NO"))) macro_arg; + + /* Original token no. for a CPP_PASTE (from a sequence of + consecutive paste tokens in a macro expansion). */ + unsigned int GTY ((tag ("CPP_TOKEN_FLD_TOKEN_NO"))) token_no; + + /* Caller-supplied identifier for a CPP_PRAGMA. */ + unsigned int GTY ((tag ("CPP_TOKEN_FLD_PRAGMA"))) pragma; + } GTY ((desc ("cpp_token_val_index (&%1)"))) val; +}; + +/* Say which field is in use. */ +extern enum cpp_token_fld_kind cpp_token_val_index (const cpp_token *tok); + +/* A type wide enough to hold any multibyte source character. + cpplib's character constant interpreter requires an unsigned type. + Also, a typedef for the signed equivalent. + The width of this type is capped at 32 bits; there do exist targets + where wchar_t is 64 bits, but only in a non-default mode, and there + would be no meaningful interpretation for a wchar_t value greater + than 2^32 anyway -- the widest wide-character encoding around is + ISO 10646, which stops at 2^31. */ +#if CHAR_BIT * SIZEOF_INT >= 32 +# define CPPCHAR_SIGNED_T int +#elif CHAR_BIT * SIZEOF_LONG >= 32 +# define CPPCHAR_SIGNED_T long +#else +# error "Cannot find a least-32-bit signed integer type" +#endif +typedef unsigned CPPCHAR_SIGNED_T cppchar_t; +typedef CPPCHAR_SIGNED_T cppchar_signed_t; + +/* Style of header dependencies to generate. */ +enum cpp_deps_style { DEPS_NONE = 0, DEPS_USER, DEPS_SYSTEM }; + +/* The possible normalization levels, from most restrictive to least. */ +enum cpp_normalize_level { + /* In NFKC. */ + normalized_KC = 0, + /* In NFC. */ + normalized_C, + /* In NFC, except for subsequences where being in NFC would make + the identifier invalid. */ + normalized_identifier_C, + /* Not normalized at all. */ + normalized_none +}; + +enum cpp_main_search +{ + CMS_none, /* A regular source file. */ + CMS_header, /* Is a directly-specified header file (eg PCH or + header-unit). */ + CMS_user, /* Search the user INCLUDE path. */ + CMS_system, /* Search the system INCLUDE path. */ +}; + +/* The possible bidirectional control characters checking levels. */ +enum cpp_bidirectional_level { + /* No checking. */ + bidirectional_none = 0, + /* Only detect unpaired uses of bidirectional control characters. */ + bidirectional_unpaired = 1, + /* Detect any use of bidirectional control characters. */ + bidirectional_any = 2, + /* Also warn about UCNs. */ + bidirectional_ucn = 4 +}; + +/* This structure is nested inside struct cpp_reader, and + carries all the options visible to the command line. */ +struct cpp_options +{ + /* The language we're preprocessing. */ + enum c_lang lang; + + /* Nonzero means use extra default include directories for C++. */ + unsigned char cplusplus; + + /* Nonzero means handle cplusplus style comments. */ + unsigned char cplusplus_comments; + + /* Nonzero means define __OBJC__, treat @ as a special token, use + the OBJC[PLUS]_INCLUDE_PATH environment variable, and allow + "#import". */ + unsigned char objc; + + /* Nonzero means don't copy comments into the output file. */ + unsigned char discard_comments; + + /* Nonzero means don't copy comments into the output file during + macro expansion. */ + unsigned char discard_comments_in_macro_exp; + + /* Nonzero means process the ISO trigraph sequences. */ + unsigned char trigraphs; + + /* Nonzero means process the ISO digraph sequences. */ + unsigned char digraphs; + + /* Nonzero means to allow hexadecimal floats and LL suffixes. */ + unsigned char extended_numbers; + + /* Nonzero means process u/U prefix literals (UTF-16/32). */ + unsigned char uliterals; + + /* Nonzero means process u8 prefixed character literals (UTF-8). */ + unsigned char utf8_char_literals; + + /* Nonzero means process r/R raw strings. If this is set, uliterals + must be set as well. */ + unsigned char rliterals; + + /* Nonzero means print names of header files (-H). */ + unsigned char print_include_names; + + /* Nonzero means complain about deprecated features. */ + unsigned char cpp_warn_deprecated; + + /* Nonzero means warn if slash-star appears in a comment. */ + unsigned char warn_comments; + + /* Nonzero means to warn about __DATA__, __TIME__ and __TIMESTAMP__ usage. */ + unsigned char warn_date_time; + + /* Nonzero means warn if a user-supplied include directory does not + exist. */ + unsigned char warn_missing_include_dirs; + + /* Nonzero means warn if there are any trigraphs. */ + unsigned char warn_trigraphs; + + /* Nonzero means warn about multicharacter charconsts. */ + unsigned char warn_multichar; + + /* Nonzero means warn about various incompatibilities with + traditional C. */ + unsigned char cpp_warn_traditional; + + /* Nonzero means warn about long long numeric constants. */ + unsigned char cpp_warn_long_long; + + /* Nonzero means warn about text after an #endif (or #else). */ + unsigned char warn_endif_labels; + + /* Nonzero means warn about implicit sign changes owing to integer + promotions. */ + unsigned char warn_num_sign_change; + + /* Zero means don't warn about __VA_ARGS__ usage in c89 pedantic mode. + Presumably the usage is protected by the appropriate #ifdef. */ + unsigned char warn_variadic_macros; + + /* Nonzero means warn about builtin macros that are redefined or + explicitly undefined. */ + unsigned char warn_builtin_macro_redefined; + + /* Different -Wimplicit-fallthrough= levels. */ + unsigned char cpp_warn_implicit_fallthrough; + + /* Nonzero means we should look for header.gcc files that remap file + names. */ + unsigned char remap; + + /* Zero means dollar signs are punctuation. */ + unsigned char dollars_in_ident; + + /* Nonzero means UCNs are accepted in identifiers. */ + unsigned char extended_identifiers; + + /* True if we should warn about dollars in identifiers or numbers + for this translation unit. */ + unsigned char warn_dollars; + + /* Nonzero means warn if undefined identifiers are evaluated in an #if. */ + unsigned char warn_undef; + + /* Nonzero means warn if "defined" is encountered in a place other than + an #if. */ + unsigned char warn_expansion_to_defined; + + /* Nonzero means warn of unused macros from the main file. */ + unsigned char warn_unused_macros; + + /* Nonzero for the 1999 C Standard, including corrigenda and amendments. */ + unsigned char c99; + + /* Nonzero if we are conforming to a specific C or C++ standard. */ + unsigned char std; + + /* Nonzero means give all the error messages the ANSI standard requires. */ + unsigned char cpp_pedantic; + + /* Nonzero means we're looking at already preprocessed code, so don't + bother trying to do macro expansion and whatnot. */ + unsigned char preprocessed; + + /* Nonzero means we are going to emit debugging logs during + preprocessing. */ + unsigned char debug; + + /* Nonzero means we are tracking locations of tokens involved in + macro expansion. 1 Means we track the location in degraded mode + where we do not track locations of tokens resulting from the + expansion of arguments of function-like macro. 2 Means we do + track all macro expansions. This last option is the one that + consumes the highest amount of memory. */ + unsigned char track_macro_expansion; + + /* Nonzero means handle C++ alternate operator names. */ + unsigned char operator_names; + + /* Nonzero means warn about use of C++ alternate operator names. */ + unsigned char warn_cxx_operator_names; + + /* True for traditional preprocessing. */ + unsigned char traditional; + + /* Nonzero for C++ 2011 Standard user-defined literals. */ + unsigned char user_literals; + + /* Nonzero means warn when a string or character literal is followed by a + ud-suffix which does not beging with an underscore. */ + unsigned char warn_literal_suffix; + + /* Nonzero means interpret imaginary, fixed-point, or other gnu extension + literal number suffixes as user-defined literal number suffixes. */ + unsigned char ext_numeric_literals; + + /* Nonzero means extended identifiers allow the characters specified + in C11. */ + unsigned char c11_identifiers; + + /* Nonzero for C++ 2014 Standard binary constants. */ + unsigned char binary_constants; + + /* Nonzero for C++ 2014 Standard digit separators. */ + unsigned char digit_separators; + + /* Nonzero for C2X decimal floating-point constants. */ + unsigned char dfp_constants; + + /* Nonzero for C++20 __VA_OPT__ feature. */ + unsigned char va_opt; + + /* Nonzero for the '::' token. */ + unsigned char scope; + + /* Nonzero for the '#elifdef' and '#elifndef' directives. */ + unsigned char elifdef; + + /* Nonzero means tokenize C++20 module directives. */ + unsigned char module_directives; + + /* Nonzero for C++23 size_t literals. */ + unsigned char size_t_literals; + + /* Holds the name of the target (execution) character set. */ + const char *narrow_charset; + + /* Holds the name of the target wide character set. */ + const char *wide_charset; + + /* Holds the name of the input character set. */ + const char *input_charset; + + /* The minimum permitted level of normalization before a warning + is generated. See enum cpp_normalize_level. */ + int warn_normalize; + + /* True to warn about precompiled header files we couldn't use. */ + bool warn_invalid_pch; + + /* True if dependencies should be restored from a precompiled header. */ + bool restore_pch_deps; + + /* True if warn about differences between C90 and C99. */ + signed char cpp_warn_c90_c99_compat; + + /* True if warn about differences between C11 and C2X. */ + signed char cpp_warn_c11_c2x_compat; + + /* True if warn about differences between C++98 and C++11. */ + bool cpp_warn_cxx11_compat; + + /* Nonzero if bidirectional control characters checking is on. See enum + cpp_bidirectional_level. */ + unsigned char cpp_warn_bidirectional; + + /* Dependency generation. */ + struct + { + /* Style of header dependencies to generate. */ + enum cpp_deps_style style; + + /* Assume missing files are generated files. */ + bool missing_files; + + /* Generate phony targets for each dependency apart from the first + one. */ + bool phony_targets; + + /* Generate dependency info for modules. */ + bool modules; + + /* If true, no dependency is generated on the main file. */ + bool ignore_main_file; + + /* If true, intend to use the preprocessor output (e.g., for compilation) + in addition to the dependency info. */ + bool need_preprocessor_output; + } deps; + + /* Target-specific features set by the front end or client. */ + + /* Precision for target CPP arithmetic, target characters, target + ints and target wide characters, respectively. */ + size_t precision, char_precision, int_precision, wchar_precision; + + /* True means chars (wide chars) are unsigned. */ + bool unsigned_char, unsigned_wchar; + + /* True if the most significant byte in a word has the lowest + address in memory. */ + bool bytes_big_endian; + + /* Nonzero means __STDC__ should have the value 0 in system headers. */ + unsigned char stdc_0_in_system_headers; + + /* True disables tokenization outside of preprocessing directives. */ + bool directives_only; + + /* True enables canonicalization of system header file paths. */ + bool canonical_system_headers; + + /* The maximum depth of the nested #include. */ + unsigned int max_include_depth; + + cpp_main_search main_search : 8; +}; + +/* Diagnostic levels. To get a diagnostic without associating a + position in the translation unit with it, use cpp_error_with_line + with a line number of zero. */ + +enum cpp_diagnostic_level { + /* Warning, an error with -Werror. */ + CPP_DL_WARNING = 0, + /* Same as CPP_DL_WARNING, except it is not suppressed in system headers. */ + CPP_DL_WARNING_SYSHDR, + /* Warning, an error with -pedantic-errors or -Werror. */ + CPP_DL_PEDWARN, + /* An error. */ + CPP_DL_ERROR, + /* An internal consistency check failed. Prints "internal error: ", + otherwise the same as CPP_DL_ERROR. */ + CPP_DL_ICE, + /* An informative note following a warning. */ + CPP_DL_NOTE, + /* A fatal error. */ + CPP_DL_FATAL +}; + +/* Warning reason codes. Use a reason code of CPP_W_NONE for unclassified + warnings and diagnostics that are not warnings. */ + +enum cpp_warning_reason { + CPP_W_NONE = 0, + CPP_W_DEPRECATED, + CPP_W_COMMENTS, + CPP_W_MISSING_INCLUDE_DIRS, + CPP_W_TRIGRAPHS, + CPP_W_MULTICHAR, + CPP_W_TRADITIONAL, + CPP_W_LONG_LONG, + CPP_W_ENDIF_LABELS, + CPP_W_NUM_SIGN_CHANGE, + CPP_W_VARIADIC_MACROS, + CPP_W_BUILTIN_MACRO_REDEFINED, + CPP_W_DOLLARS, + CPP_W_UNDEF, + CPP_W_UNUSED_MACROS, + CPP_W_CXX_OPERATOR_NAMES, + CPP_W_NORMALIZE, + CPP_W_INVALID_PCH, + CPP_W_WARNING_DIRECTIVE, + CPP_W_LITERAL_SUFFIX, + CPP_W_SIZE_T_LITERALS, + CPP_W_DATE_TIME, + CPP_W_PEDANTIC, + CPP_W_C90_C99_COMPAT, + CPP_W_C11_C2X_COMPAT, + CPP_W_CXX11_COMPAT, + CPP_W_EXPANSION_TO_DEFINED, + CPP_W_BIDIRECTIONAL +}; + +/* Callback for header lookup for HEADER, which is the name of a + source file. It is used as a method of last resort to find headers + that are not otherwise found during the normal include processing. + The return value is the malloced name of a header to try and open, + if any, or NULL otherwise. This callback is called only if the + header is otherwise unfound. */ +typedef const char *(*missing_header_cb)(cpp_reader *, const char *header, cpp_dir **); + +/* Call backs to cpplib client. */ +struct cpp_callbacks +{ + /* Called when a new line of preprocessed output is started. */ + void (*line_change) (cpp_reader *, const cpp_token *, int); + + /* Called when switching to/from a new file. + The line_map is for the new file. It is NULL if there is no new file. + (In C this happens when done with + and also + when done with a main file.) This can be used for resource cleanup. */ + void (*file_change) (cpp_reader *, const line_map_ordinary *); + + void (*dir_change) (cpp_reader *, const char *); + void (*include) (cpp_reader *, location_t, const unsigned char *, + const char *, int, const cpp_token **); + void (*define) (cpp_reader *, location_t, cpp_hashnode *); + void (*undef) (cpp_reader *, location_t, cpp_hashnode *); + void (*ident) (cpp_reader *, location_t, const cpp_string *); + void (*def_pragma) (cpp_reader *, location_t); + int (*valid_pch) (cpp_reader *, const char *, int); + void (*read_pch) (cpp_reader *, const char *, int, const char *); + missing_header_cb missing_header; + + /* Context-sensitive macro support. Returns macro (if any) that should + be expanded. */ + cpp_hashnode * (*macro_to_expand) (cpp_reader *, const cpp_token *); + + /* Called to emit a diagnostic. This callback receives the + translated message. */ + bool (*diagnostic) (cpp_reader *, + enum cpp_diagnostic_level, + enum cpp_warning_reason, + rich_location *, + const char *, va_list *) + ATTRIBUTE_FPTR_PRINTF(5,0); + + /* Callbacks for when a macro is expanded, or tested (whether + defined or not at the time) in #ifdef, #ifndef or "defined". */ + void (*used_define) (cpp_reader *, location_t, cpp_hashnode *); + void (*used_undef) (cpp_reader *, location_t, cpp_hashnode *); + /* Called before #define and #undef or other macro definition + changes are processed. */ + void (*before_define) (cpp_reader *); + /* Called whenever a macro is expanded or tested. + Second argument is the location of the start of the current expansion. */ + void (*used) (cpp_reader *, location_t, cpp_hashnode *); + + /* Callback to identify whether an attribute exists. */ + int (*has_attribute) (cpp_reader *, bool); + + /* Callback to determine whether a built-in function is recognized. */ + int (*has_builtin) (cpp_reader *); + + /* Callback that can change a user lazy into normal macro. */ + void (*user_lazy_macro) (cpp_reader *, cpp_macro *, unsigned); + + /* Callback to handle deferred cpp_macros. */ + cpp_macro *(*user_deferred_macro) (cpp_reader *, location_t, cpp_hashnode *); + + /* Callback to parse SOURCE_DATE_EPOCH from environment. */ + time_t (*get_source_date_epoch) (cpp_reader *); + + /* Callback for providing suggestions for misspelled directives. */ + const char *(*get_suggestion) (cpp_reader *, const char *, const char *const *); + + /* Callback for when a comment is encountered, giving the location + of the opening slash, a pointer to the content (which is not + necessarily 0-terminated), and the length of the content. + The content contains the opening slash-star (or slash-slash), + and for C-style comments contains the closing star-slash. For + C++-style comments it does not include the terminating newline. */ + void (*comment) (cpp_reader *, location_t, const unsigned char *, + size_t); + + /* Callback for filename remapping in __FILE__ and __BASE_FILE__ macro + expansions. */ + const char *(*remap_filename) (const char*); + + /* Maybe translate a #include into something else. Return a + cpp_buffer containing the translation if translating. */ + char *(*translate_include) (cpp_reader *, line_maps *, location_t, + const char *path); +}; + +#ifdef VMS +#define INO_T_CPP ino_t ino[3] +#elif defined (_AIX) && SIZEOF_INO_T == 4 +#define INO_T_CPP ino64_t ino +#else +#define INO_T_CPP ino_t ino +#endif + +#if defined (_AIX) && SIZEOF_DEV_T == 4 +#define DEV_T_CPP dev64_t dev +#else +#define DEV_T_CPP dev_t dev +#endif + +/* Chain of directories to look for include files in. */ +struct cpp_dir +{ + /* NULL-terminated singly-linked list. */ + struct cpp_dir *next; + + /* NAME of the directory, NUL-terminated. */ + char *name; + unsigned int len; + + /* One if a system header, two if a system header that has extern + "C" guards for C++. */ + unsigned char sysp; + + /* Is this a user-supplied directory? */ + bool user_supplied_p; + + /* The canonicalized NAME as determined by lrealpath. This field + is only used by hosts that lack reliable inode numbers. */ + char *canonical_name; + + /* Mapping of file names for this directory for MS-DOS and related + platforms. A NULL-terminated array of (from, to) pairs. */ + const char **name_map; + + /* Routine to construct pathname, given the search path name and the + HEADER we are trying to find, return a constructed pathname to + try and open. If this is NULL, the constructed pathname is as + constructed by append_file_to_dir. */ + char *(*construct) (const char *header, cpp_dir *dir); + + /* The C front end uses these to recognize duplicated + directories in the search path. */ + INO_T_CPP; + DEV_T_CPP; +}; + +/* The kind of the cpp_macro. */ +enum cpp_macro_kind { + cmk_macro, /* An ISO macro (token expansion). */ + cmk_assert, /* An assertion. */ + cmk_traditional /* A traditional macro (text expansion). */ +}; + +/* Each macro definition is recorded in a cpp_macro structure. + Variadic macros cannot occur with traditional cpp. */ +struct GTY(()) cpp_macro { + union cpp_parm_u + { + /* Parameters, if any. If parameter names use extended identifiers, + the original spelling of those identifiers, not the canonical + UTF-8 spelling, goes here. */ + cpp_hashnode ** GTY ((tag ("false"), + nested_ptr (union tree_node, + "%h ? CPP_HASHNODE (GCC_IDENT_TO_HT_IDENT (%h)) : NULL", + "%h ? HT_IDENT_TO_GCC_IDENT (HT_NODE (%h)) : NULL"), + length ("%1.paramc"))) params; + + /* If this is an assertion, the next one in the chain. */ + cpp_macro *GTY ((tag ("true"))) next; + } GTY ((desc ("%1.kind == cmk_assert"))) parm; + + /* Definition line number. */ + location_t line; + + /* Number of tokens in body, or bytes for traditional macros. */ + /* Do we really need 2^32-1 range here? */ + unsigned int count; + + /* Number of parameters. */ + unsigned short paramc; + + /* Non-zero if this is a user-lazy macro, value provided by user. */ + unsigned char lazy; + + /* The kind of this macro (ISO, trad or assert) */ + unsigned kind : 2; + + /* If a function-like macro. */ + unsigned int fun_like : 1; + + /* If a variadic macro. */ + unsigned int variadic : 1; + + /* If macro defined in system header. */ + unsigned int syshdr : 1; + + /* Nonzero if it has been expanded or had its existence tested. */ + unsigned int used : 1; + + /* Indicate whether the tokens include extra CPP_PASTE tokens at the + end to track invalid redefinitions with consecutive CPP_PASTE + tokens. */ + unsigned int extra_tokens : 1; + + /* Imported C++20 macro (from a header unit). */ + unsigned int imported_p : 1; + + /* 0 bits spare (32-bit). 32 on 64-bit target. */ + + union cpp_exp_u + { + /* Trailing array of replacement tokens (ISO), or assertion body value. */ + cpp_token GTY ((tag ("false"), length ("%1.count"))) tokens[1]; + + /* Pointer to replacement text (traditional). See comment at top + of cpptrad.c for how traditional function-like macros are + encoded. */ + const unsigned char *GTY ((tag ("true"))) text; + } GTY ((desc ("%1.kind == cmk_traditional"))) exp; +}; + +/* Poisoned identifiers are flagged NODE_POISONED. NODE_OPERATOR (C++ + only) indicates an identifier that behaves like an operator such as + "xor". NODE_DIAGNOSTIC is for speed in lex_token: it indicates a + diagnostic may be required for this node. Currently this only + applies to __VA_ARGS__, poisoned identifiers, and -Wc++-compat + warnings about NODE_OPERATOR. */ + +/* Hash node flags. */ +#define NODE_OPERATOR (1 << 0) /* C++ named operator. */ +#define NODE_POISONED (1 << 1) /* Poisoned identifier. */ +#define NODE_DIAGNOSTIC (1 << 2) /* Possible diagnostic when lexed. */ +#define NODE_WARN (1 << 3) /* Warn if redefined or undefined. */ +#define NODE_DISABLED (1 << 4) /* A disabled macro. */ +#define NODE_USED (1 << 5) /* Dumped with -dU. */ +#define NODE_CONDITIONAL (1 << 6) /* Conditional macro */ +#define NODE_WARN_OPERATOR (1 << 7) /* Warn about C++ named operator. */ +#define NODE_MODULE (1 << 8) /* C++-20 module-related name. */ + +/* Different flavors of hash node. */ +enum node_type +{ + NT_VOID = 0, /* Maybe an assert? */ + NT_MACRO_ARG, /* A macro arg. */ + NT_USER_MACRO, /* A user macro. */ + NT_BUILTIN_MACRO, /* A builtin macro. */ + NT_MACRO_MASK = NT_USER_MACRO /* Mask for either macro kind. */ +}; + +/* Different flavors of builtin macro. _Pragma is an operator, but we + handle it with the builtin code for efficiency reasons. */ +enum cpp_builtin_type +{ + BT_SPECLINE = 0, /* `__LINE__' */ + BT_DATE, /* `__DATE__' */ + BT_FILE, /* `__FILE__' */ + BT_FILE_NAME, /* `__FILE_NAME__' */ + BT_BASE_FILE, /* `__BASE_FILE__' */ + BT_INCLUDE_LEVEL, /* `__INCLUDE_LEVEL__' */ + BT_TIME, /* `__TIME__' */ + BT_STDC, /* `__STDC__' */ + BT_PRAGMA, /* `_Pragma' operator */ + BT_TIMESTAMP, /* `__TIMESTAMP__' */ + BT_COUNTER, /* `__COUNTER__' */ + BT_HAS_ATTRIBUTE, /* `__has_attribute(x)' */ + BT_HAS_STD_ATTRIBUTE, /* `__has_c_attribute(x)' */ + BT_HAS_BUILTIN, /* `__has_builtin(x)' */ + BT_HAS_INCLUDE, /* `__has_include(x)' */ + BT_HAS_INCLUDE_NEXT, /* `__has_include_next(x)' */ + + // RT Extension + BT_CAT /* `__CAT(SEP ,...)' */ +}; + +#define CPP_HASHNODE(HNODE) ((cpp_hashnode *) (HNODE)) +#define HT_NODE(NODE) (&(NODE)->ident) +#define NODE_LEN(NODE) HT_LEN (HT_NODE (NODE)) +#define NODE_NAME(NODE) HT_STR (HT_NODE (NODE)) + +/* The common part of an identifier node shared amongst all 3 C front + ends. Also used to store CPP identifiers, which are a superset of + identifiers in the grammatical sense. */ + +union GTY(()) _cpp_hashnode_value { + /* Assert (maybe NULL) */ + cpp_macro * GTY((tag ("NT_VOID"))) answers; + /* Macro (maybe NULL) */ + cpp_macro * GTY((tag ("NT_USER_MACRO"))) macro; + /* Code for a builtin macro. */ + enum cpp_builtin_type GTY ((tag ("NT_BUILTIN_MACRO"))) builtin; + /* Macro argument index. */ + unsigned short GTY ((tag ("NT_MACRO_ARG"))) arg_index; +}; + +struct GTY(()) cpp_hashnode { + struct ht_identifier ident; + unsigned int is_directive : 1; + unsigned int directive_index : 7; /* If is_directive, + then index into directive table. + Otherwise, a NODE_OPERATOR. */ + unsigned int rid_code : 8; /* Rid code - for front ends. */ + unsigned int flags : 9; /* CPP flags. */ + ENUM_BITFIELD(node_type) type : 2; /* CPP node type. */ + + /* 5 bits spare. */ + + /* The deferred cookie is applicable to NT_USER_MACRO or NT_VOID. + The latter for when a macro had a prevailing undef. + On a 64-bit system there would be 32-bits of padding to the value + field. So placing the deferred index here is not costly. */ + unsigned deferred; /* Deferred cookie */ + + union _cpp_hashnode_value GTY ((desc ("%1.type"))) value; +}; + +/* A class for iterating through the source locations within a + string token (before escapes are interpreted, and before + concatenation). */ + +class cpp_string_location_reader { + public: + cpp_string_location_reader (location_t src_loc, + line_maps *line_table); + + source_range get_next (); + + private: + location_t m_loc; + int m_offset_per_column; +}; + +/* A class for storing the source ranges of all of the characters within + a string literal, after escapes are interpreted, and after + concatenation. + + This is not GTY-marked, as instances are intended to be temporary. */ + +class cpp_substring_ranges +{ + public: + cpp_substring_ranges (); + ~cpp_substring_ranges (); + + int get_num_ranges () const { return m_num_ranges; } + source_range get_range (int idx) const + { + linemap_assert (idx < m_num_ranges); + return m_ranges[idx]; + } + + void add_range (source_range range); + void add_n_ranges (int num, cpp_string_location_reader &loc_reader); + + private: + source_range *m_ranges; + int m_num_ranges; + int m_alloc_ranges; +}; + +/* Call this first to get a handle to pass to other functions. + + If you want cpplib to manage its own hashtable, pass in a NULL + pointer. Otherwise you should pass in an initialized hash table + that cpplib will share; this technique is used by the C front + ends. */ +extern cpp_reader *cpp_create_reader (enum c_lang, struct ht *, + class line_maps *); + +/* Reset the cpp_reader's line_map. This is only used after reading a + PCH file. */ +extern void cpp_set_line_map (cpp_reader *, class line_maps *); + +/* Call this to change the selected language standard (e.g. because of + command line options). */ +extern void cpp_set_lang (cpp_reader *, enum c_lang); + +/* Set the include paths. */ +extern void cpp_set_include_chains (cpp_reader *, cpp_dir *, cpp_dir *, int); + +/* Call these to get pointers to the options, callback, and deps + structures for a given reader. These pointers are good until you + call cpp_finish on that reader. You can either edit the callbacks + through the pointer returned from cpp_get_callbacks, or set them + with cpp_set_callbacks. */ +extern cpp_options *cpp_get_options (cpp_reader *) ATTRIBUTE_PURE; +extern cpp_callbacks *cpp_get_callbacks (cpp_reader *) ATTRIBUTE_PURE; +extern void cpp_set_callbacks (cpp_reader *, cpp_callbacks *); +extern class mkdeps *cpp_get_deps (cpp_reader *) ATTRIBUTE_PURE; + +extern const char *cpp_probe_header_unit (cpp_reader *, const char *file, + bool angle_p, location_t); + +/* Call these to get name data about the various compile-time + charsets. */ +extern const char *cpp_get_narrow_charset_name (cpp_reader *) ATTRIBUTE_PURE; +extern const char *cpp_get_wide_charset_name (cpp_reader *) ATTRIBUTE_PURE; + +/* This function reads the file, but does not start preprocessing. It + returns the name of the original file; this is the same as the + input file, except for preprocessed input. This will generate at + least one file change callback, and possibly a line change callback + too. If there was an error opening the file, it returns NULL. */ +extern const char *cpp_read_main_file (cpp_reader *, const char *, + bool injecting = false); +extern location_t cpp_main_loc (const cpp_reader *); + +/* Adjust for the main file to be an include. */ +extern void cpp_retrofit_as_include (cpp_reader *); + +/* Set up built-ins with special behavior. Use cpp_init_builtins() + instead unless your know what you are doing. */ +extern void cpp_init_special_builtins (cpp_reader *); + +/* Set up built-ins like __FILE__. */ +extern void cpp_init_builtins (cpp_reader *, int); + +/* This is called after options have been parsed, and partially + processed. */ +extern void cpp_post_options (cpp_reader *); + +/* Set up translation to the target character set. */ +extern void cpp_init_iconv (cpp_reader *); + +/* Call this to finish preprocessing. If you requested dependency + generation, pass an open stream to write the information to, + otherwise NULL. It is your responsibility to close the stream. */ +extern void cpp_finish (cpp_reader *, FILE *deps_stream); + +/* Call this to release the handle at the end of preprocessing. Any + use of the handle after this function returns is invalid. */ +extern void cpp_destroy (cpp_reader *); + +extern unsigned int cpp_token_len (const cpp_token *); +extern unsigned char *cpp_token_as_text (cpp_reader *, const cpp_token *); +extern unsigned char *cpp_spell_token (cpp_reader *, const cpp_token *, + unsigned char *, bool); +extern void cpp_register_pragma (cpp_reader *, const char *, const char *, + void (*) (cpp_reader *), bool); +extern void cpp_register_deferred_pragma (cpp_reader *, const char *, + const char *, unsigned, bool, bool); +extern int cpp_avoid_paste (cpp_reader *, const cpp_token *, + const cpp_token *); +extern const cpp_token *cpp_get_token (cpp_reader *); +extern const cpp_token *cpp_get_token_with_location (cpp_reader *, + location_t *); +inline bool cpp_user_macro_p (const cpp_hashnode *node) +{ + return node->type == NT_USER_MACRO; +} +inline bool cpp_builtin_macro_p (const cpp_hashnode *node) +{ + return node->type == NT_BUILTIN_MACRO; +} +inline bool cpp_macro_p (const cpp_hashnode *node) +{ + return node->type & NT_MACRO_MASK; +} +inline cpp_macro *cpp_set_deferred_macro (cpp_hashnode *node, + cpp_macro *forced = NULL) +{ + cpp_macro *old = node->value.macro; + + node->value.macro = forced; + node->type = NT_USER_MACRO; + node->flags &= ~NODE_USED; + + return old; +} +cpp_macro *cpp_get_deferred_macro (cpp_reader *, cpp_hashnode *, location_t); + +/* Returns true if NODE is a function-like user macro. */ +inline bool cpp_fun_like_macro_p (cpp_hashnode *node) +{ + return cpp_user_macro_p (node) && node->value.macro->fun_like; +} + +extern const unsigned char *cpp_macro_definition (cpp_reader *, cpp_hashnode *); +extern const unsigned char *cpp_macro_definition (cpp_reader *, cpp_hashnode *, + const cpp_macro *); +inline location_t cpp_macro_definition_location (cpp_hashnode *node) +{ + const cpp_macro *macro = node->value.macro; + return macro ? macro->line : 0; +} +/* Return an idempotent time stamp (possibly from SOURCE_DATE_EPOCH). */ +enum class CPP_time_kind +{ + FIXED = -1, /* Fixed time via source epoch. */ + DYNAMIC = -2, /* Dynamic via time(2). */ + UNKNOWN = -3 /* Wibbly wobbly, timey wimey. */ +}; +extern CPP_time_kind cpp_get_date (cpp_reader *, time_t *); + +extern void _cpp_backup_tokens (cpp_reader *, unsigned int); +extern const cpp_token *cpp_peek_token (cpp_reader *, int); + +/* Evaluate a CPP_*CHAR* token. */ +extern cppchar_t cpp_interpret_charconst (cpp_reader *, const cpp_token *, + unsigned int *, int *); +/* Evaluate a vector of CPP_*STRING* tokens. */ +extern bool cpp_interpret_string (cpp_reader *, + const cpp_string *, size_t, + cpp_string *, enum cpp_ttype); +extern const char *cpp_interpret_string_ranges (cpp_reader *pfile, + const cpp_string *from, + cpp_string_location_reader *, + size_t count, + cpp_substring_ranges *out, + enum cpp_ttype type); +extern bool cpp_interpret_string_notranslate (cpp_reader *, + const cpp_string *, size_t, + cpp_string *, enum cpp_ttype); + +/* Convert a host character constant to the execution character set. */ +extern cppchar_t cpp_host_to_exec_charset (cpp_reader *, cppchar_t); + +/* Used to register macros and assertions, perhaps from the command line. + The text is the same as the command line argument. */ +extern void cpp_define (cpp_reader *, const char *); +extern void cpp_define_unused (cpp_reader *, const char *); +extern void cpp_define_formatted (cpp_reader *pfile, + const char *fmt, ...) ATTRIBUTE_PRINTF_2; +extern void cpp_define_formatted_unused (cpp_reader *pfile, + const char *fmt, + ...) ATTRIBUTE_PRINTF_2; +extern void cpp_assert (cpp_reader *, const char *); +extern void cpp_undef (cpp_reader *, const char *); +extern void cpp_unassert (cpp_reader *, const char *); + +/* Mark a node as a lazily defined macro. */ +extern void cpp_define_lazily (cpp_reader *, cpp_hashnode *node, unsigned N); + +/* Undefine all macros and assertions. */ +extern void cpp_undef_all (cpp_reader *); + +extern cpp_buffer *cpp_push_buffer (cpp_reader *, const unsigned char *, + size_t, int); +extern int cpp_defined (cpp_reader *, const unsigned char *, int); + +/* A preprocessing number. Code assumes that any unused high bits of + the double integer are set to zero. */ + +/* This type has to be equal to unsigned HOST_WIDE_INT, see + gcc/c-family/c-lex.cc. */ +typedef uint64_t cpp_num_part; +typedef struct cpp_num cpp_num; +struct cpp_num +{ + cpp_num_part high; + cpp_num_part low; + bool unsignedp; /* True if value should be treated as unsigned. */ + bool overflow; /* True if the most recent calculation overflowed. */ +}; + +/* cpplib provides two interfaces for interpretation of preprocessing + numbers. + + cpp_classify_number categorizes numeric constants according to + their field (integer, floating point, or invalid), radix (decimal, + octal, hexadecimal), and type suffixes. */ + +#define CPP_N_CATEGORY 0x000F +#define CPP_N_INVALID 0x0000 +#define CPP_N_INTEGER 0x0001 +#define CPP_N_FLOATING 0x0002 + +#define CPP_N_WIDTH 0x00F0 +#define CPP_N_SMALL 0x0010 /* int, float, short _Fract/Accum */ +#define CPP_N_MEDIUM 0x0020 /* long, double, long _Fract/_Accum. */ +#define CPP_N_LARGE 0x0040 /* long long, long double, + long long _Fract/Accum. */ + +#define CPP_N_WIDTH_MD 0xF0000 /* machine defined. */ +#define CPP_N_MD_W 0x10000 +#define CPP_N_MD_Q 0x20000 + +#define CPP_N_RADIX 0x0F00 +#define CPP_N_DECIMAL 0x0100 +#define CPP_N_HEX 0x0200 +#define CPP_N_OCTAL 0x0400 +#define CPP_N_BINARY 0x0800 + +#define CPP_N_UNSIGNED 0x1000 /* Properties. */ +#define CPP_N_IMAGINARY 0x2000 +#define CPP_N_DFLOAT 0x4000 +#define CPP_N_DEFAULT 0x8000 + +#define CPP_N_FRACT 0x100000 /* Fract types. */ +#define CPP_N_ACCUM 0x200000 /* Accum types. */ +#define CPP_N_FLOATN 0x400000 /* _FloatN types. */ +#define CPP_N_FLOATNX 0x800000 /* _FloatNx types. */ + +#define CPP_N_USERDEF 0x1000000 /* C++11 user-defined literal. */ + +#define CPP_N_SIZE_T 0x2000000 /* C++23 size_t literal. */ + +#define CPP_N_WIDTH_FLOATN_NX 0xF0000000 /* _FloatN / _FloatNx value + of N, divided by 16. */ +#define CPP_FLOATN_SHIFT 24 +#define CPP_FLOATN_MAX 0xF0 + +/* Classify a CPP_NUMBER token. The return value is a combination of + the flags from the above sets. */ +extern unsigned cpp_classify_number (cpp_reader *, const cpp_token *, + const char **, location_t); + +/* Return the classification flags for a float suffix. */ +extern unsigned int cpp_interpret_float_suffix (cpp_reader *, const char *, + size_t); + +/* Return the classification flags for an int suffix. */ +extern unsigned int cpp_interpret_int_suffix (cpp_reader *, const char *, + size_t); + +/* Evaluate a token classified as category CPP_N_INTEGER. */ +extern cpp_num cpp_interpret_integer (cpp_reader *, const cpp_token *, + unsigned int); + +/* Sign extend a number, with PRECISION significant bits and all + others assumed clear, to fill out a cpp_num structure. */ +cpp_num cpp_num_sign_extend (cpp_num, size_t); + +/* Output a diagnostic of some kind. */ +extern bool cpp_error (cpp_reader *, enum cpp_diagnostic_level, + const char *msgid, ...) + ATTRIBUTE_PRINTF_3; +extern bool cpp_warning (cpp_reader *, enum cpp_warning_reason, + const char *msgid, ...) + ATTRIBUTE_PRINTF_3; +extern bool cpp_pedwarning (cpp_reader *, enum cpp_warning_reason, + const char *msgid, ...) + ATTRIBUTE_PRINTF_3; +extern bool cpp_warning_syshdr (cpp_reader *, enum cpp_warning_reason reason, + const char *msgid, ...) + ATTRIBUTE_PRINTF_3; + +/* As their counterparts above, but use RICHLOC. */ +extern bool cpp_warning_at (cpp_reader *, enum cpp_warning_reason, + rich_location *richloc, const char *msgid, ...) + ATTRIBUTE_PRINTF_4; +extern bool cpp_pedwarning_at (cpp_reader *, enum cpp_warning_reason, + rich_location *richloc, const char *msgid, ...) + ATTRIBUTE_PRINTF_4; + +/* Output a diagnostic with "MSGID: " preceding the + error string of errno. No location is printed. */ +extern bool cpp_errno (cpp_reader *, enum cpp_diagnostic_level, + const char *msgid); +/* Similarly, but with "FILENAME: " instead of "MSGID: ", where + the filename is not localized. */ +extern bool cpp_errno_filename (cpp_reader *, enum cpp_diagnostic_level, + const char *filename, location_t loc); + +/* Same as cpp_error, except additionally specifies a position as a + (translation unit) physical line and physical column. If the line is + zero, then no location is printed. */ +extern bool cpp_error_with_line (cpp_reader *, enum cpp_diagnostic_level, + location_t, unsigned, + const char *msgid, ...) + ATTRIBUTE_PRINTF_5; +extern bool cpp_warning_with_line (cpp_reader *, enum cpp_warning_reason, + location_t, unsigned, + const char *msgid, ...) + ATTRIBUTE_PRINTF_5; +extern bool cpp_pedwarning_with_line (cpp_reader *, enum cpp_warning_reason, + location_t, unsigned, + const char *msgid, ...) + ATTRIBUTE_PRINTF_5; +extern bool cpp_warning_with_line_syshdr (cpp_reader *, enum cpp_warning_reason, + location_t, unsigned, + const char *msgid, ...) + ATTRIBUTE_PRINTF_5; + +extern bool cpp_error_at (cpp_reader * pfile, enum cpp_diagnostic_level, + location_t src_loc, const char *msgid, ...) + ATTRIBUTE_PRINTF_4; + +extern bool cpp_error_at (cpp_reader * pfile, enum cpp_diagnostic_level, + rich_location *richloc, const char *msgid, ...) + ATTRIBUTE_PRINTF_4; + +/* In lex.cc */ +extern int cpp_ideq (const cpp_token *, const char *); +extern void cpp_output_line (cpp_reader *, FILE *); +extern unsigned char *cpp_output_line_to_string (cpp_reader *, + const unsigned char *); +extern const unsigned char *cpp_alloc_token_string + (cpp_reader *, const unsigned char *, unsigned); +extern void cpp_output_token (const cpp_token *, FILE *); +extern const char *cpp_type2name (enum cpp_ttype, unsigned char flags); +/* Returns the value of an escape sequence, truncated to the correct + target precision. PSTR points to the input pointer, which is just + after the backslash. LIMIT is how much text we have. WIDE is true + if the escape sequence is part of a wide character constant or + string literal. Handles all relevant diagnostics. */ +extern cppchar_t cpp_parse_escape (cpp_reader *, const unsigned char ** pstr, + const unsigned char *limit, int wide); + +/* Structure used to hold a comment block at a given location in the + source code. */ + +typedef struct +{ + /* Text of the comment including the terminators. */ + char *comment; + + /* source location for the given comment. */ + location_t sloc; +} cpp_comment; + +/* Structure holding all comments for a given cpp_reader. */ + +typedef struct +{ + /* table of comment entries. */ + cpp_comment *entries; + + /* number of actual entries entered in the table. */ + int count; + + /* number of entries allocated currently. */ + int allocated; +} cpp_comment_table; + +/* Returns the table of comments encountered by the preprocessor. This + table is only populated when pfile->state.save_comments is true. */ +extern cpp_comment_table *cpp_get_comments (cpp_reader *); + +/* In hash.c */ + +/* Lookup an identifier in the hashtable. Puts the identifier in the + table if it is not already there. */ +extern cpp_hashnode *cpp_lookup (cpp_reader *, const unsigned char *, + unsigned int); + +typedef int (*cpp_cb) (cpp_reader *, cpp_hashnode *, void *); +extern void cpp_forall_identifiers (cpp_reader *, cpp_cb, void *); + +/* In macro.cc */ +extern void cpp_scan_nooutput (cpp_reader *); +extern int cpp_sys_macro_p (cpp_reader *); +extern unsigned char *cpp_quote_string (unsigned char *, const unsigned char *, + unsigned int); +extern bool cpp_compare_macros (const cpp_macro *macro1, + const cpp_macro *macro2); + +/* In files.cc */ +extern bool cpp_included (cpp_reader *, const char *); +extern bool cpp_included_before (cpp_reader *, const char *, location_t); +extern void cpp_make_system_header (cpp_reader *, int, int); +extern bool cpp_push_include (cpp_reader *, const char *); +extern bool cpp_push_default_include (cpp_reader *, const char *); +extern void cpp_change_file (cpp_reader *, enum lc_reason, const char *); +extern const char *cpp_get_path (struct _cpp_file *); +extern cpp_dir *cpp_get_dir (struct _cpp_file *); +extern cpp_buffer *cpp_get_buffer (cpp_reader *); +extern struct _cpp_file *cpp_get_file (cpp_buffer *); +extern cpp_buffer *cpp_get_prev (cpp_buffer *); +extern void cpp_clear_file_cache (cpp_reader *); + +/* cpp_get_converted_source returns the contents of the given file, as it exists + after cpplib has read it and converted it from the input charset to the + source charset. Return struct will be zero-filled if the data could not be + read for any reason. The data starts at the DATA pointer, but the TO_FREE + pointer is what should be passed to free(), as there may be an offset. */ +struct cpp_converted_source +{ + char *to_free; + char *data; + size_t len; +}; +cpp_converted_source cpp_get_converted_source (const char *fname, + const char *input_charset); + +/* In pch.cc */ +struct save_macro_data; +extern int cpp_save_state (cpp_reader *, FILE *); +extern int cpp_write_pch_deps (cpp_reader *, FILE *); +extern int cpp_write_pch_state (cpp_reader *, FILE *); +extern int cpp_valid_state (cpp_reader *, const char *, int); +extern void cpp_prepare_state (cpp_reader *, struct save_macro_data **); +extern int cpp_read_state (cpp_reader *, const char *, FILE *, + struct save_macro_data *); + +/* In lex.cc */ +extern void cpp_force_token_locations (cpp_reader *, location_t); +extern void cpp_stop_forcing_token_locations (cpp_reader *); +enum CPP_DO_task +{ + CPP_DO_print, + CPP_DO_location, + CPP_DO_token +}; + +extern void cpp_directive_only_process (cpp_reader *pfile, + void *data, + void (*cb) (cpp_reader *, + CPP_DO_task, + void *data, ...)); + +/* In expr.cc */ +extern enum cpp_ttype cpp_userdef_string_remove_type + (enum cpp_ttype type); +extern enum cpp_ttype cpp_userdef_string_add_type + (enum cpp_ttype type); +extern enum cpp_ttype cpp_userdef_char_remove_type + (enum cpp_ttype type); +extern enum cpp_ttype cpp_userdef_char_add_type + (enum cpp_ttype type); +extern bool cpp_userdef_string_p + (enum cpp_ttype type); +extern bool cpp_userdef_char_p + (enum cpp_ttype type); +extern const char * cpp_get_userdef_suffix + (const cpp_token *); + +/* In charset.cc */ + +/* The result of attempting to decode a run of UTF-8 bytes. */ + +struct cpp_decoded_char +{ + const char *m_start_byte; + const char *m_next_byte; + + bool m_valid_ch; + cppchar_t m_ch; +}; + +/* Information for mapping between code points and display columns. + + This is a tabstop value, along with a callback for getting the + widths of characters. Normally this callback is cpp_wcwidth, but we + support other schemes for escaping non-ASCII unicode as a series of + ASCII chars when printing the user's source code in diagnostic-show-locus.cc + + For example, consider: + - the Unicode character U+03C0 "GREEK SMALL LETTER PI" (UTF-8: 0xCF 0x80) + - the Unicode character U+1F642 "SLIGHTLY SMILING FACE" + (UTF-8: 0xF0 0x9F 0x99 0x82) + - the byte 0xBF (a stray trailing byte of a UTF-8 character) + Normally U+03C0 would occupy one display column, U+1F642 + would occupy two display columns, and the stray byte would be + printed verbatim as one display column. + + However when escaping them as unicode code points as "" + and "" they occupy 8 and 9 display columns respectively, + and when escaping them as bytes as "<80>" and "<9F><99><82>" + they occupy 8 and 16 display columns respectively. In both cases + the stray byte is escaped to as 4 display columns. */ + +struct cpp_char_column_policy +{ + cpp_char_column_policy (int tabstop, + int (*width_cb) (cppchar_t c)) + : m_tabstop (tabstop), + m_undecoded_byte_width (1), + m_width_cb (width_cb) + {} + + int m_tabstop; + /* Width in display columns of a stray byte that isn't decodable + as UTF-8. */ + int m_undecoded_byte_width; + int (*m_width_cb) (cppchar_t c); +}; + +/* A class to manage the state while converting a UTF-8 sequence to cppchar_t + and computing the display width one character at a time. */ +class cpp_display_width_computation { + public: + cpp_display_width_computation (const char *data, int data_length, + const cpp_char_column_policy &policy); + const char *next_byte () const { return m_next; } + int bytes_processed () const { return m_next - m_begin; } + int bytes_left () const { return m_bytes_left; } + bool done () const { return !bytes_left (); } + int display_cols_processed () const { return m_display_cols; } + + int process_next_codepoint (cpp_decoded_char *out); + int advance_display_cols (int n); + + private: + const char *const m_begin; + const char *m_next; + size_t m_bytes_left; + const cpp_char_column_policy &m_policy; + int m_display_cols; +}; + +/* Convenience functions that are simple use cases for class + cpp_display_width_computation. Tab characters will be expanded to spaces + as determined by POLICY.m_tabstop, and non-printable-ASCII characters + will be escaped as per POLICY. */ + +int cpp_byte_column_to_display_column (const char *data, int data_length, + int column, + const cpp_char_column_policy &policy); +inline int cpp_display_width (const char *data, int data_length, + const cpp_char_column_policy &policy) +{ + return cpp_byte_column_to_display_column (data, data_length, data_length, + policy); +} +int cpp_display_column_to_byte_column (const char *data, int data_length, + int display_col, + const cpp_char_column_policy &policy); +int cpp_wcwidth (cppchar_t c); + +bool cpp_input_conversion_is_trivial (const char *input_charset); +int cpp_check_utf8_bom (const char *data, size_t data_length); + +#endif /* ! LIBCPP_CPPLIB_H */ diff --git "a/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/init.cc" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/init.cc" new file mode 100644 index 0000000..27d635d --- /dev/null +++ "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/init.cc" @@ -0,0 +1,918 @@ +/* CPP Library. + Copyright (C) 1986-2022 Free Software Foundation, Inc. + Contributed by Per Bothner, 1994-95. + Based on CCCP program by Paul Rubin, June 1986 + Adapted to ANSI C, Richard Stallman, Jan 1987 + +This program is free software; you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by the +Free Software Foundation; either version 3, or (at your option) any +later version. + +This program is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with this program; see the file COPYING3. If not see +. */ + +#include "config.h" +#include "system.h" +#include "cpplib.h" +#include "internal.h" +#include "mkdeps.h" +#include "localedir.h" +#include "filenames.h" + +#ifndef ENABLE_CANONICAL_SYSTEM_HEADERS +#ifdef HAVE_DOS_BASED_FILE_SYSTEM +#define ENABLE_CANONICAL_SYSTEM_HEADERS 1 +#else +#define ENABLE_CANONICAL_SYSTEM_HEADERS 0 +#endif +#endif + +static void init_library (void); +static void mark_named_operators (cpp_reader *, int); +static bool read_original_filename (cpp_reader *); +static void read_original_directory (cpp_reader *); +static void post_options (cpp_reader *); + +/* If we have designated initializers (GCC >2.7) these tables can be + initialized, constant data. Otherwise, they have to be filled in at + runtime. */ +#if HAVE_DESIGNATED_INITIALIZERS + +#define init_trigraph_map() /* Nothing. */ +#define TRIGRAPH_MAP \ +__extension__ const uchar _cpp_trigraph_map[UCHAR_MAX + 1] = { + +#define END }; +#define s(p, v) [p] = v, + +#else + +#define TRIGRAPH_MAP uchar _cpp_trigraph_map[UCHAR_MAX + 1] = { 0 }; \ + static void init_trigraph_map (void) { \ + unsigned char *x = _cpp_trigraph_map; + +#define END } +#define s(p, v) x[p] = v; + +#endif + +TRIGRAPH_MAP + s('=', '#') s(')', ']') s('!', '|') + s('(', '[') s('\'', '^') s('>', '}') + s('/', '\\') s('<', '{') s('-', '~') +END + +#undef s +#undef END +#undef TRIGRAPH_MAP + +/* A set of booleans indicating what CPP features each source language + requires. */ +struct lang_flags +{ + char c99; + char cplusplus; + char extended_numbers; + char extended_identifiers; + char c11_identifiers; + char std; + char digraphs; + char uliterals; + char rliterals; + char user_literals; + char binary_constants; + char digit_separators; + char trigraphs; + char utf8_char_literals; + char va_opt; + char scope; + char dfp_constants; + char size_t_literals; + char elifdef; +}; + +static const struct lang_flags lang_defaults[] = +{ /* c99 c++ xnum xid c11 std digr ulit rlit udlit bincst digsep trig u8chlit vaopt scope dfp szlit elifdef */ + /* GNUC89 */ { 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0 }, + /* GNUC99 */ { 1, 0, 1, 1, 0, 0, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0 }, + /* GNUC11 */ { 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0 }, + /* GNUC17 */ { 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0 }, + /* GNUC2X */ { 1, 0, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1 }, + /* STDC89 */ { 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0 }, + /* STDC94 */ { 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0 }, + /* STDC99 */ { 1, 0, 1, 1, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0 }, + /* STDC11 */ { 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0 }, + /* STDC17 */ { 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0 }, + /* STDC2X */ { 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1 }, + /* GNUCXX */ { 0, 1, 1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0 }, + /* CXX98 */ { 0, 1, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0 }, + /* GNUCXX11 */ { 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0 }, + /* CXX11 */ { 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0 }, + /* GNUCXX14 */ { 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 0 }, + /* CXX14 */ { 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 0, 0 }, + /* GNUCXX17 */ { 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0 }, + /* CXX17 */ { 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 0, 0 }, + /* GNUCXX20 */ { 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0 }, + /* CXX20 */ { 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0 }, + /* GNUCXX23 */ { 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1 }, + /* CXX23 */ { 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1 }, + /* ASM */ { 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } +}; + +/* Sets internal flags correctly for a given language. */ +void +cpp_set_lang (cpp_reader *pfile, enum c_lang lang) +{ + const struct lang_flags *l = &lang_defaults[(int) lang]; + + CPP_OPTION (pfile, lang) = lang; + + CPP_OPTION (pfile, c99) = l->c99; + CPP_OPTION (pfile, cplusplus) = l->cplusplus; + CPP_OPTION (pfile, extended_numbers) = l->extended_numbers; + CPP_OPTION (pfile, extended_identifiers) = l->extended_identifiers; + CPP_OPTION (pfile, c11_identifiers) = l->c11_identifiers; + CPP_OPTION (pfile, std) = l->std; + CPP_OPTION (pfile, digraphs) = l->digraphs; + CPP_OPTION (pfile, uliterals) = l->uliterals; + CPP_OPTION (pfile, rliterals) = l->rliterals; + CPP_OPTION (pfile, user_literals) = l->user_literals; + CPP_OPTION (pfile, binary_constants) = l->binary_constants; + CPP_OPTION (pfile, digit_separators) = l->digit_separators; + CPP_OPTION (pfile, trigraphs) = l->trigraphs; + CPP_OPTION (pfile, utf8_char_literals) = l->utf8_char_literals; + CPP_OPTION (pfile, va_opt) = l->va_opt; + CPP_OPTION (pfile, scope) = l->scope; + CPP_OPTION (pfile, dfp_constants) = l->dfp_constants; + CPP_OPTION (pfile, size_t_literals) = l->size_t_literals; + CPP_OPTION (pfile, elifdef) = l->elifdef; +} + +/* Initialize library global state. */ +static void +init_library (void) +{ + static int initialized = 0; + + if (! initialized) + { + initialized = 1; + + _cpp_init_lexer (); + + /* Set up the trigraph map. This doesn't need to do anything if + we were compiled with a compiler that supports C99 designated + initializers. */ + init_trigraph_map (); + +#ifdef ENABLE_NLS + (void) bindtextdomain (PACKAGE, LOCALEDIR); +#endif + } +} + +/* Initialize a cpp_reader structure. */ +cpp_reader * +cpp_create_reader (enum c_lang lang, cpp_hash_table *table, + class line_maps *line_table) +{ + cpp_reader *pfile; + + /* Initialize this instance of the library if it hasn't been already. */ + init_library (); + + pfile = XCNEW (cpp_reader); + memset (&pfile->base_context, 0, sizeof (pfile->base_context)); + + cpp_set_lang (pfile, lang); + CPP_OPTION (pfile, warn_multichar) = 1; + CPP_OPTION (pfile, discard_comments) = 1; + CPP_OPTION (pfile, discard_comments_in_macro_exp) = 1; + CPP_OPTION (pfile, max_include_depth) = 200; + CPP_OPTION (pfile, operator_names) = 1; + CPP_OPTION (pfile, warn_trigraphs) = 2; + CPP_OPTION (pfile, warn_endif_labels) = 1; + CPP_OPTION (pfile, cpp_warn_c90_c99_compat) = -1; + CPP_OPTION (pfile, cpp_warn_c11_c2x_compat) = -1; + CPP_OPTION (pfile, cpp_warn_cxx11_compat) = 0; + CPP_OPTION (pfile, cpp_warn_deprecated) = 1; + CPP_OPTION (pfile, cpp_warn_long_long) = 0; + CPP_OPTION (pfile, dollars_in_ident) = 1; + CPP_OPTION (pfile, warn_dollars) = 1; + CPP_OPTION (pfile, warn_variadic_macros) = 1; + CPP_OPTION (pfile, warn_builtin_macro_redefined) = 1; + CPP_OPTION (pfile, cpp_warn_implicit_fallthrough) = 0; + /* By default, track locations of tokens resulting from macro + expansion. The '2' means, track the locations with the highest + accuracy. Read the comments for struct + cpp_options::track_macro_expansion to learn about the other + values. */ + CPP_OPTION (pfile, track_macro_expansion) = 2; + CPP_OPTION (pfile, warn_normalize) = normalized_C; + CPP_OPTION (pfile, warn_literal_suffix) = 1; + CPP_OPTION (pfile, canonical_system_headers) + = ENABLE_CANONICAL_SYSTEM_HEADERS; + CPP_OPTION (pfile, ext_numeric_literals) = 1; + CPP_OPTION (pfile, warn_date_time) = 0; + CPP_OPTION (pfile, cpp_warn_bidirectional) = bidirectional_unpaired; + + /* Default CPP arithmetic to something sensible for the host for the + benefit of dumb users like fix-header. */ + CPP_OPTION (pfile, precision) = CHAR_BIT * sizeof (long); + CPP_OPTION (pfile, char_precision) = CHAR_BIT; + CPP_OPTION (pfile, wchar_precision) = CHAR_BIT * sizeof (int); + CPP_OPTION (pfile, int_precision) = CHAR_BIT * sizeof (int); + CPP_OPTION (pfile, unsigned_char) = 0; + CPP_OPTION (pfile, unsigned_wchar) = 1; + CPP_OPTION (pfile, bytes_big_endian) = 1; /* does not matter */ + + /* Default to no charset conversion. */ + CPP_OPTION (pfile, narrow_charset) = _cpp_default_encoding (); + CPP_OPTION (pfile, wide_charset) = 0; + + /* Default the input character set to UTF-8. */ + CPP_OPTION (pfile, input_charset) = _cpp_default_encoding (); + + /* A fake empty "directory" used as the starting point for files + looked up without a search path. Name cannot be '/' because we + don't want to prepend anything at all to filenames using it. All + other entries are correct zero-initialized. */ + pfile->no_search_path.name = (char *) ""; + + /* Initialize the line map. */ + pfile->line_table = line_table; + + /* Initialize lexer state. */ + pfile->state.save_comments = ! CPP_OPTION (pfile, discard_comments); + + /* Set up static tokens. */ + pfile->avoid_paste.type = CPP_PADDING; + pfile->avoid_paste.val.source = NULL; + pfile->avoid_paste.src_loc = 0; + pfile->endarg.type = CPP_EOF; + pfile->endarg.flags = 0; + pfile->endarg.src_loc = 0; + + /* Create a token buffer for the lexer. */ + _cpp_init_tokenrun (&pfile->base_run, 250); + pfile->cur_run = &pfile->base_run; + pfile->cur_token = pfile->base_run.base; + + /* Initialize the base context. */ + pfile->context = &pfile->base_context; + pfile->base_context.c.macro = 0; + pfile->base_context.prev = pfile->base_context.next = 0; + + /* Aligned and unaligned storage. */ + pfile->a_buff = _cpp_get_buff (pfile, 0); + pfile->u_buff = _cpp_get_buff (pfile, 0); + + /* Initialize table for push_macro/pop_macro. */ + pfile->pushed_macros = 0; + + /* Do not force token locations by default. */ + pfile->forced_token_location = 0; + + /* Note the timestamp is unset. */ + pfile->time_stamp = time_t (-1); + pfile->time_stamp_kind = 0; + + /* The expression parser stack. */ + _cpp_expand_op_stack (pfile); + + /* Initialize the buffer obstack. */ + obstack_specify_allocation (&pfile->buffer_ob, 0, 0, xmalloc, free); + + _cpp_init_files (pfile); + + _cpp_init_hashtable (pfile, table); + + return pfile; +} + +/* Set the line_table entry in PFILE. This is called after reading a + PCH file, as the old line_table will be incorrect. */ +void +cpp_set_line_map (cpp_reader *pfile, class line_maps *line_table) +{ + pfile->line_table = line_table; +} + +/* Free resources used by PFILE. Accessing PFILE after this function + returns leads to undefined behavior. Returns the error count. */ +void +cpp_destroy (cpp_reader *pfile) +{ + cpp_context *context, *contextn; + struct def_pragma_macro *pmacro; + tokenrun *run, *runn; + int i; + + free (pfile->op_stack); + + while (CPP_BUFFER (pfile) != NULL) + _cpp_pop_buffer (pfile); + + free (pfile->out.base); + + if (pfile->macro_buffer) + { + free (pfile->macro_buffer); + pfile->macro_buffer = NULL; + pfile->macro_buffer_len = 0; + } + + if (pfile->deps) + deps_free (pfile->deps); + obstack_free (&pfile->buffer_ob, 0); + + _cpp_destroy_hashtable (pfile); + _cpp_cleanup_files (pfile); + _cpp_destroy_iconv (pfile); + + _cpp_free_buff (pfile->a_buff); + _cpp_free_buff (pfile->u_buff); + _cpp_free_buff (pfile->free_buffs); + + for (run = &pfile->base_run; run; run = runn) + { + runn = run->next; + free (run->base); + if (run != &pfile->base_run) + free (run); + } + + for (context = pfile->base_context.next; context; context = contextn) + { + contextn = context->next; + free (context); + } + + if (pfile->comments.entries) + { + for (i = 0; i < pfile->comments.count; i++) + free (pfile->comments.entries[i].comment); + + free (pfile->comments.entries); + } + if (pfile->pushed_macros) + { + do + { + pmacro = pfile->pushed_macros; + pfile->pushed_macros = pmacro->next; + free (pmacro->name); + free (pmacro); + } + while (pfile->pushed_macros); + } + + free (pfile); +} + +/* This structure defines one built-in identifier. A node will be + entered in the hash table under the name NAME, with value VALUE. + + There are two tables of these. builtin_array holds all the + "builtin" macros: these are handled by builtin_macro() in + macro.cc. Builtin is somewhat of a misnomer -- the property of + interest is that these macros require special code to compute their + expansions. The value is a "cpp_builtin_type" enumerator. + + operator_array holds the C++ named operators. These are keywords + which act as aliases for punctuators. In C++, they cannot be + altered through #define, and #if recognizes them as operators. In + C, these are not entered into the hash table at all (but see + ). The value is a token-type enumerator. */ +struct builtin_macro +{ + const uchar *const name; + const unsigned short len; + const unsigned short value; + const bool always_warn_if_redefined; +}; + +#define B(n, t, f) { DSC(n), t, f } +static const struct builtin_macro builtin_array[] = +{ + B("__TIMESTAMP__", BT_TIMESTAMP, false), + B("__TIME__", BT_TIME, false), + B("__DATE__", BT_DATE, false), + B("__FILE__", BT_FILE, false), + B("__FILE_NAME__", BT_FILE_NAME, false), + B("__BASE_FILE__", BT_BASE_FILE, false), + B("__LINE__", BT_SPECLINE, true), + B("__INCLUDE_LEVEL__", BT_INCLUDE_LEVEL, true), + B("__COUNTER__", BT_COUNTER, true), + /* Make sure to update the list of built-in + function-like macros in traditional.cc: + fun_like_macro() when adding more following */ + B("__has_attribute", BT_HAS_ATTRIBUTE, true), + B("__has_c_attribute", BT_HAS_STD_ATTRIBUTE, true), + B("__has_cpp_attribute", BT_HAS_ATTRIBUTE, true), + B("__has_builtin", BT_HAS_BUILTIN, true), + B("__has_include", BT_HAS_INCLUDE, true), + B("__has_include_next",BT_HAS_INCLUDE_NEXT, true), + /* Keep builtins not used for -traditional-cpp at the end, and + update init_builtins() if any more are added. */ + B("_Pragma", BT_PRAGMA, true), + B("__STDC__", BT_STDC, true), + + // RT Extension + B("__CALL", BT_CALL, true), + +}; +#undef B + +struct builtin_operator +{ + const uchar *const name; + const unsigned short len; + const unsigned short value; +}; + +#define B(n, t) { DSC(n), t } +static const struct builtin_operator operator_array[] = +{ + B("and", CPP_AND_AND), + B("and_eq", CPP_AND_EQ), + B("bitand", CPP_AND), + B("bitor", CPP_OR), + B("compl", CPP_COMPL), + B("not", CPP_NOT), + B("not_eq", CPP_NOT_EQ), + B("or", CPP_OR_OR), + B("or_eq", CPP_OR_EQ), + B("xor", CPP_XOR), + B("xor_eq", CPP_XOR_EQ) +}; +#undef B + +/* Mark the C++ named operators in the hash table. */ +static void +mark_named_operators (cpp_reader *pfile, int flags) +{ + const struct builtin_operator *b; + + for (b = operator_array; + b < (operator_array + ARRAY_SIZE (operator_array)); + b++) + { + cpp_hashnode *hp = cpp_lookup (pfile, b->name, b->len); + hp->flags |= flags; + hp->is_directive = 0; + hp->directive_index = b->value; + } +} + +/* Helper function of cpp_type2name. Return the string associated with + named operator TYPE. */ +const char * +cpp_named_operator2name (enum cpp_ttype type) +{ + const struct builtin_operator *b; + + for (b = operator_array; + b < (operator_array + ARRAY_SIZE (operator_array)); + b++) + { + if (type == b->value) + return (const char *) b->name; + } + + return NULL; +} + +void +cpp_init_special_builtins (cpp_reader *pfile) +{ + const struct builtin_macro *b; + size_t n = ARRAY_SIZE (builtin_array); + + if (CPP_OPTION (pfile, traditional)) + n -= 2; + else if (! CPP_OPTION (pfile, stdc_0_in_system_headers) + || CPP_OPTION (pfile, std)) + n--; + + for (b = builtin_array; b < builtin_array + n; b++) + { + if ((b->value == BT_HAS_ATTRIBUTE + || b->value == BT_HAS_STD_ATTRIBUTE + || b->value == BT_HAS_BUILTIN) + && (CPP_OPTION (pfile, lang) == CLK_ASM + || pfile->cb.has_attribute == NULL)) + continue; + cpp_hashnode *hp = cpp_lookup (pfile, b->name, b->len); + hp->type = NT_BUILTIN_MACRO; + if (b->always_warn_if_redefined) + hp->flags |= NODE_WARN; + hp->value.builtin = (enum cpp_builtin_type) b->value; + } +} + +/* Restore macro C to builtin macro definition. */ + +void +_cpp_restore_special_builtin (cpp_reader *pfile, struct def_pragma_macro *c) +{ + size_t len = strlen (c->name); + + for (const struct builtin_macro *b = builtin_array; + b < builtin_array + ARRAY_SIZE (builtin_array); b++) + if (b->len == len && memcmp (c->name, b->name, len + 1) == 0) + { + cpp_hashnode *hp = cpp_lookup (pfile, b->name, b->len); + hp->type = NT_BUILTIN_MACRO; + if (b->always_warn_if_redefined) + hp->flags |= NODE_WARN; + hp->value.builtin = (enum cpp_builtin_type) b->value; + } +} + +/* Read the builtins table above and enter them, and language-specific + macros, into the hash table. HOSTED is true if this is a hosted + environment. */ +void +cpp_init_builtins (cpp_reader *pfile, int hosted) +{ + cpp_init_special_builtins (pfile); + + if (!CPP_OPTION (pfile, traditional) + && (! CPP_OPTION (pfile, stdc_0_in_system_headers) + || CPP_OPTION (pfile, std))) + _cpp_define_builtin (pfile, "__STDC__ 1"); + + if (CPP_OPTION (pfile, cplusplus)) + { + /* C++23 is not yet a standard. For now, use an invalid + * year/month, 202100L, which is larger than 202002L. */ + if (CPP_OPTION (pfile, lang) == CLK_CXX23 + || CPP_OPTION (pfile, lang) == CLK_GNUCXX23) + _cpp_define_builtin (pfile, "__cplusplus 202100L"); + else if (CPP_OPTION (pfile, lang) == CLK_CXX20 + || CPP_OPTION (pfile, lang) == CLK_GNUCXX20) + _cpp_define_builtin (pfile, "__cplusplus 202002L"); + else if (CPP_OPTION (pfile, lang) == CLK_CXX17 + || CPP_OPTION (pfile, lang) == CLK_GNUCXX17) + _cpp_define_builtin (pfile, "__cplusplus 201703L"); + else if (CPP_OPTION (pfile, lang) == CLK_CXX14 + || CPP_OPTION (pfile, lang) == CLK_GNUCXX14) + _cpp_define_builtin (pfile, "__cplusplus 201402L"); + else if (CPP_OPTION (pfile, lang) == CLK_CXX11 + || CPP_OPTION (pfile, lang) == CLK_GNUCXX11) + _cpp_define_builtin (pfile, "__cplusplus 201103L"); + else + _cpp_define_builtin (pfile, "__cplusplus 199711L"); + } + else if (CPP_OPTION (pfile, lang) == CLK_ASM) + _cpp_define_builtin (pfile, "__ASSEMBLER__ 1"); + else if (CPP_OPTION (pfile, lang) == CLK_STDC94) + _cpp_define_builtin (pfile, "__STDC_VERSION__ 199409L"); + else if (CPP_OPTION (pfile, lang) == CLK_STDC2X + || CPP_OPTION (pfile, lang) == CLK_GNUC2X) + _cpp_define_builtin (pfile, "__STDC_VERSION__ 202000L"); + else if (CPP_OPTION (pfile, lang) == CLK_STDC17 + || CPP_OPTION (pfile, lang) == CLK_GNUC17) + _cpp_define_builtin (pfile, "__STDC_VERSION__ 201710L"); + else if (CPP_OPTION (pfile, lang) == CLK_STDC11 + || CPP_OPTION (pfile, lang) == CLK_GNUC11) + _cpp_define_builtin (pfile, "__STDC_VERSION__ 201112L"); + else if (CPP_OPTION (pfile, c99)) + _cpp_define_builtin (pfile, "__STDC_VERSION__ 199901L"); + + if (CPP_OPTION (pfile, uliterals) + && !(CPP_OPTION (pfile, cplusplus) + && (CPP_OPTION (pfile, lang) == CLK_GNUCXX + || CPP_OPTION (pfile, lang) == CLK_CXX98))) + { + _cpp_define_builtin (pfile, "__STDC_UTF_16__ 1"); + _cpp_define_builtin (pfile, "__STDC_UTF_32__ 1"); + } + + if (hosted) + _cpp_define_builtin (pfile, "__STDC_HOSTED__ 1"); + else + _cpp_define_builtin (pfile, "__STDC_HOSTED__ 0"); + + if (CPP_OPTION (pfile, objc)) + _cpp_define_builtin (pfile, "__OBJC__ 1"); +} + +/* Sanity-checks are dependent on command-line options, so it is + called as a subroutine of cpp_read_main_file. */ +#if CHECKING_P +static void sanity_checks (cpp_reader *); +static void sanity_checks (cpp_reader *pfile) +{ + cppchar_t test = 0; + size_t max_precision = 2 * CHAR_BIT * sizeof (cpp_num_part); + + /* Sanity checks for assumptions about CPP arithmetic and target + type precisions made by cpplib. */ + test--; + if (test < 1) + cpp_error (pfile, CPP_DL_ICE, "cppchar_t must be an unsigned type"); + + if (CPP_OPTION (pfile, precision) > max_precision) + cpp_error (pfile, CPP_DL_ICE, + "preprocessor arithmetic has maximum precision of %lu bits;" + " target requires %lu bits", + (unsigned long) max_precision, + (unsigned long) CPP_OPTION (pfile, precision)); + + if (CPP_OPTION (pfile, precision) < CPP_OPTION (pfile, int_precision)) + cpp_error (pfile, CPP_DL_ICE, + "CPP arithmetic must be at least as precise as a target int"); + + if (CPP_OPTION (pfile, char_precision) < 8) + cpp_error (pfile, CPP_DL_ICE, "target char is less than 8 bits wide"); + + if (CPP_OPTION (pfile, wchar_precision) < CPP_OPTION (pfile, char_precision)) + cpp_error (pfile, CPP_DL_ICE, + "target wchar_t is narrower than target char"); + + if (CPP_OPTION (pfile, int_precision) < CPP_OPTION (pfile, char_precision)) + cpp_error (pfile, CPP_DL_ICE, + "target int is narrower than target char"); + + /* This is assumed in eval_token() and could be fixed if necessary. */ + if (sizeof (cppchar_t) > sizeof (cpp_num_part)) + cpp_error (pfile, CPP_DL_ICE, + "CPP half-integer narrower than CPP character"); + + if (CPP_OPTION (pfile, wchar_precision) > BITS_PER_CPPCHAR_T) + cpp_error (pfile, CPP_DL_ICE, + "CPP on this host cannot handle wide character constants over" + " %lu bits, but the target requires %lu bits", + (unsigned long) BITS_PER_CPPCHAR_T, + (unsigned long) CPP_OPTION (pfile, wchar_precision)); +} +#else +# define sanity_checks(PFILE) +#endif + +/* This is called after options have been parsed, and partially + processed. */ +void +cpp_post_options (cpp_reader *pfile) +{ + int flags; + + sanity_checks (pfile); + + post_options (pfile); + + /* Mark named operators before handling command line macros. */ + flags = 0; + if (CPP_OPTION (pfile, cplusplus) && CPP_OPTION (pfile, operator_names)) + flags |= NODE_OPERATOR; + if (CPP_OPTION (pfile, warn_cxx_operator_names)) + flags |= NODE_DIAGNOSTIC | NODE_WARN_OPERATOR; + if (flags != 0) + mark_named_operators (pfile, flags); +} + +/* Setup for processing input from the file named FNAME, or stdin if + it is the empty string. Return the original filename on success + (e.g. foo.i->foo.c), or NULL on failure. INJECTING is true if + there may be injected headers before line 1 of the main file. */ +const char * +cpp_read_main_file (cpp_reader *pfile, const char *fname, bool injecting) +{ + if (mkdeps *deps = cpp_get_deps (pfile)) + /* Set the default target (if there is none already). */ + deps_add_default_target (deps, fname); + + pfile->main_file + = _cpp_find_file (pfile, fname, + CPP_OPTION (pfile, preprocessed) ? &pfile->no_search_path + : CPP_OPTION (pfile, main_search) == CMS_user + ? pfile->quote_include + : CPP_OPTION (pfile, main_search) == CMS_system + ? pfile->bracket_include : &pfile->no_search_path, + /*angle=*/0, _cpp_FFK_NORMAL, 0); + + if (_cpp_find_failed (pfile->main_file)) + return NULL; + + _cpp_stack_file (pfile, pfile->main_file, + injecting || CPP_OPTION (pfile, preprocessed) + ? IT_PRE_MAIN : IT_MAIN, 0); + + /* For foo.i, read the original filename foo.c now, for the benefit + of the front ends. */ + if (CPP_OPTION (pfile, preprocessed)) + if (!read_original_filename (pfile)) + { + /* We're on line 1 after all. */ + auto *last = linemap_check_ordinary + (LINEMAPS_LAST_MAP (pfile->line_table, false)); + last->to_line = 1; + /* Inform of as-if a file change. */ + _cpp_do_file_change (pfile, LC_RENAME_VERBATIM, LINEMAP_FILE (last), + LINEMAP_LINE (last), LINEMAP_SYSP (last)); + } + + auto *map = LINEMAPS_LAST_ORDINARY_MAP (pfile->line_table); + pfile->main_loc = MAP_START_LOCATION (map); + + return ORDINARY_MAP_FILE_NAME (map); +} + +location_t +cpp_main_loc (const cpp_reader *pfile) +{ + return pfile->main_loc; +} + +/* For preprocessed files, if the very first characters are + '#[01]', then handle a line directive so we know the + original file name. This will generate file_change callbacks, + which the front ends must handle appropriately given their state of + initialization. We peek directly into the character buffer, so + that we're not confused by otherwise-skipped white space & + comments. We can be very picky, because this should have been + machine-generated text (by us, no less). This way we do not + interfere with the module directive state machine. */ + +static bool +read_original_filename (cpp_reader *pfile) +{ + auto *buf = pfile->buffer->next_line; + + if (pfile->buffer->rlimit - buf > 4 + && buf[0] == '#' + && buf[1] == ' ' + // Also permit '1', as that's what used to be here + && (buf[2] == '0' || buf[2] == '1') + && buf[3] == ' ') + { + const cpp_token *token = _cpp_lex_direct (pfile); + gcc_checking_assert (token->type == CPP_HASH); + if (_cpp_handle_directive (pfile, token->flags & PREV_WHITE)) + { + read_original_directory (pfile); + + auto *penult = &linemap_check_ordinary + (LINEMAPS_LAST_MAP (pfile->line_table, false))[-1]; + if (penult[1].reason == LC_RENAME_VERBATIM) + { + /* Expunge any evidence of the original linemap. */ + pfile->line_table->highest_location + = pfile->line_table->highest_line + = penult[0].start_location; + + penult[1].start_location = penult[0].start_location; + penult[1].reason = penult[0].reason; + penult[0] = penult[1]; + pfile->line_table->info_ordinary.used--; + pfile->line_table->info_ordinary.cache = 0; + } + + return true; + } + } + + return false; +} + +/* For preprocessed files, if the tokens following the first filename + line is of the form # "/path/name//", handle the + directive so we know the original current directory. + + As with the first line peeking, we can do this without lexing by + being picky. */ +static void +read_original_directory (cpp_reader *pfile) +{ + auto *buf = pfile->buffer->next_line; + + if (pfile->buffer->rlimit - buf > 4 + && buf[0] == '#' + && buf[1] == ' ' + // Also permit '1', as that's what used to be here + && (buf[2] == '0' || buf[2] == '1') + && buf[3] == ' ') + { + const cpp_token *hash = _cpp_lex_direct (pfile); + gcc_checking_assert (hash->type == CPP_HASH); + pfile->state.in_directive = 1; + const cpp_token *number = _cpp_lex_direct (pfile); + gcc_checking_assert (number->type == CPP_NUMBER); + const cpp_token *string = _cpp_lex_direct (pfile); + pfile->state.in_directive = 0; + + const unsigned char *text = nullptr; + size_t len = 0; + if (string->type == CPP_STRING) + { + /* The string value includes the quotes. */ + text = string->val.str.text; + len = string->val.str.len; + } + if (len < 5 + || !IS_DIR_SEPARATOR (text[len - 2]) + || !IS_DIR_SEPARATOR (text[len - 3])) + { + /* That didn't work out, back out. */ + _cpp_backup_tokens (pfile, 3); + return; + } + + if (pfile->cb.dir_change) + { + /* Smash the string directly, it's dead at this point */ + char *smashy = (char *)text; + smashy[len - 3] = 0; + + pfile->cb.dir_change (pfile, smashy + 1); + } + + /* We should be at EOL. */ + } +} + +/* This is called at the end of preprocessing. It pops the last + buffer and writes dependency output. + + Maybe it should also reset state, such that you could call + cpp_start_read with a new filename to restart processing. */ +void +cpp_finish (cpp_reader *pfile, FILE *deps_stream) +{ + /* Warn about unused macros before popping the final buffer. */ + if (CPP_OPTION (pfile, warn_unused_macros)) + cpp_forall_identifiers (pfile, _cpp_warn_if_unused_macro, NULL); + + /* lex.cc leaves the final buffer on the stack. This it so that + it returns an unending stream of CPP_EOFs to the client. If we + popped the buffer, we'd dereference a NULL buffer pointer and + segfault. It's nice to allow the client to do worry-free excess + cpp_get_token calls. */ + while (pfile->buffer) + _cpp_pop_buffer (pfile); + + if (deps_stream) + deps_write (pfile, deps_stream, 72); + + /* Report on headers that could use multiple include guards. */ + if (CPP_OPTION (pfile, print_include_names)) + _cpp_report_missing_guards (pfile); +} + +static void +post_options (cpp_reader *pfile) +{ + /* -Wtraditional is not useful in C++ mode. */ + if (CPP_OPTION (pfile, cplusplus)) + CPP_OPTION (pfile, cpp_warn_traditional) = 0; + + /* Permanently disable macro expansion if we are rescanning + preprocessed text. Read preprocesed source in ISO mode. */ + if (CPP_OPTION (pfile, preprocessed)) + { + if (!CPP_OPTION (pfile, directives_only)) + pfile->state.prevent_expansion = 1; + CPP_OPTION (pfile, traditional) = 0; + } + + if (CPP_OPTION (pfile, warn_trigraphs) == 2) + CPP_OPTION (pfile, warn_trigraphs) = !CPP_OPTION (pfile, trigraphs); + + if (CPP_OPTION (pfile, traditional)) + { + CPP_OPTION (pfile, trigraphs) = 0; + CPP_OPTION (pfile, warn_trigraphs) = 0; + } + + if (CPP_OPTION (pfile, module_directives)) + { + /* These unspellable tokens have a leading space. */ + const char *const inits[spec_nodes::M_HWM] + = {"export ", "module ", "import ", "__import"}; + + for (int ix = 0; ix != spec_nodes::M_HWM; ix++) + { + cpp_hashnode *node = cpp_lookup (pfile, UC (inits[ix]), + strlen (inits[ix])); + + /* Token we pass to the compiler. */ + pfile->spec_nodes.n_modules[ix][1] = node; + + if (ix != spec_nodes::M__IMPORT) + /* Token we recognize when lexing, drop the trailing ' '. */ + node = cpp_lookup (pfile, NODE_NAME (node), NODE_LEN (node) - 1); + + node->flags |= NODE_MODULE; + pfile->spec_nodes.n_modules[ix][0] = node; + } + } +} diff --git "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/macro.cc" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/macro.cc" similarity index 100% rename from "script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/macro.cc" rename to "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/library/macro.cc" diff --git "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/mv_libs_to_gcc.sh" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/mv_libs_to_gcc.sh" similarity index 100% rename from "script_Deb-12.10_gcc-12.4.1\360\237\226\211/mv_libs_to_gcc.sh" rename to "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/mv_libs_to_gcc.sh" diff --git "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_download.sh" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_download.sh" similarity index 100% rename from "script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_download.sh" rename to "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_download.sh" diff --git "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_extract.sh" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_extract.sh" similarity index 100% rename from "script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_extract.sh" rename to "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_extract.sh" diff --git "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_requisites.sh" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_requisites.sh" similarity index 100% rename from "script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_requisites.sh" rename to "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_requisites.sh" diff --git "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_setup.sh" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_setup.sh" similarity index 100% rename from "script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_setup.sh" rename to "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/project_setup.sh" diff --git "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/rebuild_gcc.sh" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/rebuild_gcc.sh" similarity index 100% rename from "script_Deb-12.10_gcc-12.4.1\360\237\226\211/rebuild_gcc.sh" rename to "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/rebuild_gcc.sh" diff --git "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/todo.org" "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/todo.org" similarity index 77% rename from "script_Deb-12.10_gcc-12.4.1\360\237\226\211/todo.org" rename to "developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/todo.org" index 313e448..5f3736d 100644 --- "a/script_Deb-12.10_gcc-12.4.1\360\237\226\211/todo.org" +++ "b/developer/script_Deb-12.10_gcc-12.4.1\360\237\226\211/todo.org" @@ -4,3 +4,6 @@ - The name is currently () or [], probably should allow a single name ID or [] instead. or perhaps in general, allow for evaluated, not evaluated, or single identifier options. +- When this matures, should replace the capture/install with diff and patch. + + diff --git "a/script_gcc-15\360\237\226\211/README.org" "b/developer/script_gcc-15\360\237\226\211/README.org" similarity index 100% rename from "script_gcc-15\360\237\226\211/README.org" rename to "developer/script_gcc-15\360\237\226\211/README.org" diff --git "a/script_gcc-15\360\237\226\211/audit_glibc_headers.sh" "b/developer/script_gcc-15\360\237\226\211/audit_glibc_headers.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/audit_glibc_headers.sh" rename to "developer/script_gcc-15\360\237\226\211/audit_glibc_headers.sh" diff --git "a/script_gcc-15\360\237\226\211/build_Linux_requisites.sh" "b/developer/script_gcc-15\360\237\226\211/build_Linux_requisites.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/build_Linux_requisites.sh" rename to "developer/script_gcc-15\360\237\226\211/build_Linux_requisites.sh" diff --git "a/script_gcc-15\360\237\226\211/build_all.sh" "b/developer/script_gcc-15\360\237\226\211/build_all.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/build_all.sh" rename to "developer/script_gcc-15\360\237\226\211/build_all.sh" diff --git "a/script_gcc-15\360\237\226\211/build_binutils.sh" "b/developer/script_gcc-15\360\237\226\211/build_binutils.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/build_binutils.sh" rename to "developer/script_gcc-15\360\237\226\211/build_binutils.sh" diff --git "a/script_gcc-15\360\237\226\211/build_binutils_requisites.sh" "b/developer/script_gcc-15\360\237\226\211/build_binutils_requisites.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/build_binutils_requisites.sh" rename to "developer/script_gcc-15\360\237\226\211/build_binutils_requisites.sh" diff --git "a/script_gcc-15\360\237\226\211/build_gcc_final.sh" "b/developer/script_gcc-15\360\237\226\211/build_gcc_final.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/build_gcc_final.sh" rename to "developer/script_gcc-15\360\237\226\211/build_gcc_final.sh" diff --git "a/script_gcc-15\360\237\226\211/build_gcc_final_requisites.sh" "b/developer/script_gcc-15\360\237\226\211/build_gcc_final_requisites.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/build_gcc_final_requisites.sh" rename to "developer/script_gcc-15\360\237\226\211/build_gcc_final_requisites.sh" diff --git "a/script_gcc-15\360\237\226\211/build_gcc_stage1.sh" "b/developer/script_gcc-15\360\237\226\211/build_gcc_stage1.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/build_gcc_stage1.sh" rename to "developer/script_gcc-15\360\237\226\211/build_gcc_stage1.sh" diff --git "a/script_gcc-15\360\237\226\211/build_gcc_stage1_requisites.sh" "b/developer/script_gcc-15\360\237\226\211/build_gcc_stage1_requisites.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/build_gcc_stage1_requisites.sh" rename to "developer/script_gcc-15\360\237\226\211/build_gcc_stage1_requisites.sh" diff --git "a/script_gcc-15\360\237\226\211/build_glibc.sh" "b/developer/script_gcc-15\360\237\226\211/build_glibc.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/build_glibc.sh" rename to "developer/script_gcc-15\360\237\226\211/build_glibc.sh" diff --git "a/script_gcc-15\360\237\226\211/build_glibc_bootstrap.sh" "b/developer/script_gcc-15\360\237\226\211/build_glibc_bootstrap.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/build_glibc_bootstrap.sh" rename to "developer/script_gcc-15\360\237\226\211/build_glibc_bootstrap.sh" diff --git "a/script_gcc-15\360\237\226\211/build_glibc_bootstrap_requisites.sh" "b/developer/script_gcc-15\360\237\226\211/build_glibc_bootstrap_requisites.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/build_glibc_bootstrap_requisites.sh" rename to "developer/script_gcc-15\360\237\226\211/build_glibc_bootstrap_requisites.sh" diff --git "a/script_gcc-15\360\237\226\211/build_glibc_crt.sh" "b/developer/script_gcc-15\360\237\226\211/build_glibc_crt.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/build_glibc_crt.sh" rename to "developer/script_gcc-15\360\237\226\211/build_glibc_crt.sh" diff --git "a/script_gcc-15\360\237\226\211/build_glibc_crt_requisites.sh" "b/developer/script_gcc-15\360\237\226\211/build_glibc_crt_requisites.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/build_glibc_crt_requisites.sh" rename to "developer/script_gcc-15\360\237\226\211/build_glibc_crt_requisites.sh" diff --git "a/script_gcc-15\360\237\226\211/build_glibc_headers.sh" "b/developer/script_gcc-15\360\237\226\211/build_glibc_headers.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/build_glibc_headers.sh" rename to "developer/script_gcc-15\360\237\226\211/build_glibc_headers.sh" diff --git "a/script_gcc-15\360\237\226\211/build_glibc_headers_requisites.sh" "b/developer/script_gcc-15\360\237\226\211/build_glibc_headers_requisites.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/build_glibc_headers_requisites.sh" rename to "developer/script_gcc-15\360\237\226\211/build_glibc_headers_requisites.sh" diff --git "a/script_gcc-15\360\237\226\211/build_glibc_requisites.sh" "b/developer/script_gcc-15\360\237\226\211/build_glibc_requisites.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/build_glibc_requisites.sh" rename to "developer/script_gcc-15\360\237\226\211/build_glibc_requisites.sh" diff --git "a/script_gcc-15\360\237\226\211/build_linux.sh" "b/developer/script_gcc-15\360\237\226\211/build_linux.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/build_linux.sh" rename to "developer/script_gcc-15\360\237\226\211/build_linux.sh" diff --git "a/script_gcc-15\360\237\226\211/clean_build.sh" "b/developer/script_gcc-15\360\237\226\211/clean_build.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/clean_build.sh" rename to "developer/script_gcc-15\360\237\226\211/clean_build.sh" diff --git "a/script_gcc-15\360\237\226\211/clean_dist.sh" "b/developer/script_gcc-15\360\237\226\211/clean_dist.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/clean_dist.sh" rename to "developer/script_gcc-15\360\237\226\211/clean_dist.sh" diff --git "a/script_gcc-15\360\237\226\211/clean_source.sh" "b/developer/script_gcc-15\360\237\226\211/clean_source.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/clean_source.sh" rename to "developer/script_gcc-15\360\237\226\211/clean_source.sh" diff --git "a/script_gcc-15\360\237\226\211/clean_upstream.sh" "b/developer/script_gcc-15\360\237\226\211/clean_upstream.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/clean_upstream.sh" rename to "developer/script_gcc-15\360\237\226\211/clean_upstream.sh" diff --git "a/script_gcc-15\360\237\226\211/environment.sh" "b/developer/script_gcc-15\360\237\226\211/environment.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/environment.sh" rename to "developer/script_gcc-15\360\237\226\211/environment.sh" diff --git "a/script_gcc-15\360\237\226\211/project_download.sh" "b/developer/script_gcc-15\360\237\226\211/project_download.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/project_download.sh" rename to "developer/script_gcc-15\360\237\226\211/project_download.sh" diff --git "a/script_gcc-15\360\237\226\211/project_extract.sh" "b/developer/script_gcc-15\360\237\226\211/project_extract.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/project_extract.sh" rename to "developer/script_gcc-15\360\237\226\211/project_extract.sh" diff --git "a/script_gcc-15\360\237\226\211/project_requisites.sh" "b/developer/script_gcc-15\360\237\226\211/project_requisites.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/project_requisites.sh" rename to "developer/script_gcc-15\360\237\226\211/project_requisites.sh" diff --git "a/script_gcc-15\360\237\226\211/project_setup.sh" "b/developer/script_gcc-15\360\237\226\211/project_setup.sh" similarity index 100% rename from "script_gcc-15\360\237\226\211/project_setup.sh" rename to "developer/script_gcc-15\360\237\226\211/project_setup.sh" diff --git a/env_toolsmith b/env_developer similarity index 65% rename from env_toolsmith rename to env_developer index 2607d95..16cba24 100644 --- a/env_toolsmith +++ b/env_developer @@ -5,7 +5,7 @@ if [[ "${BASH_SOURCE[0]}" == "$0" ]]; then exit 1 fi -export ROOT=$(dirname "$script_afp") -export SCRIPT_DIR="$ROOT"/script_gcc_min-12🖉 +export ROOT=$(dirname "$script_afp")/developer +export SCRIPT_DIR="$ROOT"/script_Deb-12.10_gcc-12.4.1🖉 cd "$SCRIPT_DIR" diff --git a/env_tester b/env_tester index 5243b74..1800ffd 100644 --- a/env_tester +++ b/env_tester @@ -6,7 +6,5 @@ if [[ "${BASH_SOURCE[0]}" == "$0" ]]; then fi export ROOT=$(dirname "$script_afp") -export EXPERIMENT_DIR="$ROOT"/experiment🖉 export PATH="$ROOT/toolchain/bin:$PATH" -cd "$EXPERIMENT_DIR" diff --git a/library/README.org b/library/README.org new file mode 100644 index 0000000..91c4adc --- /dev/null +++ b/library/README.org @@ -0,0 +1,26 @@ + +* cpp_ext + +These cpp_ext files predate the RT extensions, but as they are related to cpp I have put them here. + +** cpp_ext_0 + +The cpp_ext_0 implements logic and sets, and does not use recursion. It is a little different than other cpp logic files because it is based on absence being false, and existence being true. Hence '0' would be true, as it exists. It provides a BOOLEAN macro for converting to 0 and 1 logic. + +cpp_ext_0 does not make use of tricky recursion techniques, nor does it make use of the RT cpp extensions. + +** cpp_ext_1 + +This is a whole different animal from that of cpp_ext_0. This one uses trickery to facilitate recursive programming in cpp. + +I pulled the original version from Jonathan Heathcote's "cpp magic", http://jhnet.co.uk/articles/cpp_magic, and modified it to work with the non-existence is false logic. Open AI suggests additional contributors to cpp trickery: + + Paul F. Dubois — wrote about C macro tricks in early numerical computing contexts. + + Laurent Deniau — author of The C Preprocessor as a Turing-complete language. + + Joachim Durchholz, Pavel Vozenilek, Walter Bright, and others — contributed deep macro insights in forums like comp.lang.c. + + The Boost Preprocessor Library (by Paul Mensonides and others) contains some of the most extensive and formalized C macro "magic" ever crafted. + +I don't use cpp_ext_1 in production code because it can lead to very long error messages when compiling, and I have found non-recursive approaches for what I need. See the top level document/ directory for more discussion on cpp techniques (yet to come ;-). diff --git a/library/cpp_ext.c b/library/cpp_ext.c new file mode 100644 index 0000000..6cff205 --- /dev/null +++ b/library/cpp_ext.c @@ -0,0 +1,19 @@ +#ifndef CPP_EXT +#define CPP_EXT + + #include "cpp_ext_0.c" + #include "cpp_ext_1.c" + + /* + CONTAINS requires registration of pattern, as examples: + + #define EQ__int__oo__int + #define EQ__float__oo__float + #define EQ__char__oo__char + #define EQ__void__oo__void + + */ + + #define ·(...) CAT(· ,__VA_ARGS__) + +#endif diff --git a/library/cpp_ext_0.c b/library/cpp_ext_0.c new file mode 100644 index 0000000..a04d08d --- /dev/null +++ b/library/cpp_ext_0.c @@ -0,0 +1,290 @@ +/* + See also + https://github.com/18sg/uSHET/blob/master/lib/cpp_magic.h + and tutorial at: http://jhnet.co.uk/articles/cpp_magic + + documents in $REPO_HOME/developer/document🖉 + +1. We use a truth of existence + + An empty value is false. Anything else is true. Hence, even the token '0' is true. + +2. todo + +- cpp_ext as separate project +- make the try into tests +- cpp_ext macros put into a namespace to prevent aliasing + +*/ + +#ifndef CPP_EXT_0 +#define CPP_EXT_0 + +/*--------------------------------------------------------------------------- + DEBUG +---------------------------------------------------------------------------*/ + +#include +#define DEBUG_CPP + +// print the macro and the evaluation of the macro at compile time: +// #pragma message( STR_VAL() ) + +#define STR(...) #__VA_ARGS__ +#define VAL(...) STR(__VA_ARGS__) +#define STR_VAL(...) #__VA_ARGS__ " -> " VAL(__VA_ARGS__) + +// print the macro and the evaluation of the macro at run time: +#define SHOW(expr) printf("%s -> %s\n", #expr, STR(expr)); + +/*--------------------------------------------------------------------------- +Constants +---------------------------------------------------------------------------*/ + +#define NOTHING + +#define COMMA , +#define SEMICOLON ; + +// 'twion' is a two component object that masquerades as a single object +#define _TWION_0 ~,0 +#define _TWION_1 ~,1 + +/*--------------------------------------------------------------------------- +Fixed arg count concatenation + + Not implemented for elegance, rather CAT is used to force evaluation of arguments before `##`. +*/ + +#define _CAT2(a ,b) a ## b +#define CAT2(a ,b) _CAT2(a ,b) + +#define _CAT3(a ,b ,c) a ## b ## c +#define CAT3(a ,b ,c) _CAT3(a ,b ,c) + +#define _CAT4(a ,b ,c ,d) a ## b ## c ## d +#define CAT4(a ,b ,c ,d) _CAT4(a ,b ,c ,d) + +/*--------------------------------------------------------------------------- +LOGIC + + empty - false + NOT() - not empty, is true +*/ + + //---------------------------------------- + // primitive access + + // _FIRST with zero arguments returns nothing, otherwise returns first token + // in the list, which can also be nothing. e.g. _FIRST(,2,3) returns nothing. + #define _FIRST(a ,...) a + + // _SECOND must be given a list of length 2, though no tokens need be given + #define _SECOND(a ,b ,...) b + + //---------------------------------------- + // given one or zero arguments, returns nothing + // + #define RETURN_NOTHING() + + //---------------------------------------- + // given a list returns a token + // given an token returns a token + // given nothing, returns nothing + // + #define _OR(...) _FIRST(RETURN_NOTHING __VA_ARGS__ ()) + + /*---------------------------------------- + given a token returns nothing + given nothing returns 1 + + `##` prevents rewrite of _TWION_ in the _EXISTS_TOKEN_1 macro, don't + replace that with CAT! + */ + #define _NOT_TOKEN_ss(x_token) _SECOND(x_token ,) + #define _NOT_TOKEN_s(x_token) _NOT_TOKEN_ss(_TWION_1##x_token) + #define _NOT_TOKEN(x_token) _NOT_TOKEN_s(x_token) + + /*---------------------------------------- + given a token or a list, returns nothing + given nothing, returns 1 + */ + #define NOT(...) _NOT_TOKEN( _OR(__VA_ARGS__) ) + + /*---------------------------------------- + given argument is empty returns empty + given argument is not empty, returns 1 + */ + #define EXISTS(...) NOT( NOT(__VA_ARGS__) ) + + // useful synonym + #define MATCH_RWR(x) NOT(x) + +/*--------------------------------------------------------------------------- + IF-ELSE construct. + Usage: IF_ELSE(condition)()() + + A most amazing little macro. It has no dependencies on the other macros + in this file, though many of those will be useful in predicates +*/ + + #define IF(...) CAT2(_IF_ ,EXISTS(__VA_ARGS__)) + #define _IF_1(...) __VA_ARGS__ _IF_1_ELSE + #define _IF_(...) _IF__ELSE + #define _IF_1_ELSE(...) + #define _IF__ELSE(...) __VA_ARGS__ + +/*--------------------------------------------------------------------------- + + In cpp_ext logic: + ε is false and anything else is true + + In BOOLEAN logic + ε is an error, 0 is false, anything else is true + + USE this operator to convert something in cpp_ext logic to something for + the built-in operators. + + Note the output of BOOLEAN is always an existing token, so it will + aways be 'true' in cpp_ext logic. + +*/ + #define BOOLEAN(...) IF(__VA_ARGS__) (1) (0) + + +/*--------------------------------------------------------------------------- + Logic connectors +*/ + #define LEQ2(x ,y) IF(x) (y) (NOT(y)) + #define XOR2(x ,y) IF(x) (NOT(y)) (y) + #define AND2(x ,y) IF(x) (y) () + #define OR2(x ,y) IF(x) (1) (y) + +/*--------------------------------------------------------------------------- + Set + User must define set members manually: + + #define __ + + For example a set named TRIP with 1 ,2 ,3 in it: + + #define SET_TRIP__1 + #define SET_TRIP__2 + #define SET_TRIP__3 + +*/ + +#define IN(name ,x) NOT(CAT4(SET_ ,name ,__ ,x)) +#define NOT_IN(name ,x) CAT4(SET_ ,name ,__ ,x) + + +/*--------------------------------------------------------------------------- + Registered Equivalence + + Checks if x and y have been paired in a rewrite rule. + + Logic values can not be paired, as anything except an empty argument is taken as true. + + each pairing rule has the form + EQ____oo__ + + for example: + #define EQ__APPLE__oo__APPLE + #define EQ__PEAR__oo__PEAR + + SHOW( EQ(APPLE ,APPLE) ); -> 1 + SHOW( EQ(APPLE ,PEAR) ); -> ε + + // if empty should be EQ to empty, add this + // without this, EQ(,) -> ε + #define EQ____oo__ + +---------------------------------------------------------------------------*/ + + // if empty should be EQ to empty, keep this + // without this, EQ(,) -> ε + #define EQ____oo__ + + #define EQ__0__oo__0 + #define EQ__1__oo__1 + + #define EQ(x_token ,y_token) MATCH_RWR( CAT4(EQ__ ,x_token ,__oo__ ,y_token) ) + +/*--------------------------------------------------------------------------- +Remainder of list +---------------------------------------------------------------------------*/ + + #define _REST(a ,...) __VA_ARGS__ + #define REST(...)\ + IF \ + (__VA_ARGS__) \ + ( _REST(__VA_ARGS__) ) \ + () + +#endif +/* + _FIRST(1) -> 1 + _FIRST() -> + _SECOND(1,2) -> 2 + _SECOND(1,) -> + + RETURN_NOTHING() -> + + _OR() -> + _OR(1) -> RETURN_NOTHING 1 () + _OR(1,2,3) -> RETURN_NOTHING 1 + + T(x) -> 7 + _NOT_ITEM() -> _NOT_ITEM() + _NOT_ITEM(1) -> _NOT_ITEM(1) + _NOT_ITEM(T(x)) -> _NOT_ITEM(7) + + NOT() -> 1 + NOT(1) -> + NOT(T(x)) -> + NOT(1,2,3) -> + + BOOL() -> BOOL() + CAT2(_IF_ ,BOOL()) -> _IF_BOOL() + + TO_1_OR_0() -> TO_1_OR_0() + TO_1_OR_0(1) -> TO_1_OR_0(1) + TO_1_OR_0(x) -> TO_1_OR_0(x) + TO_1_OR_0(1.2.3) -> TO_1_OR_0(1.2.3) + + EXISTS() -> + EXISTS(0) -> 1 + EXISTS(x,y,z) -> 1 + + LEQ2( , ) -> 1 + LEQ2( , 1 ) -> + LEQ2( 1, ) -> + LEQ2( 1, 0 ) -> 0 + + XOR2( , ) -> + XOR2( , 0 ) -> 0 + XOR2( 0, 0 ) -> + + AND2( , 0 ) -> + AND2( 0, 1 ) -> 1 + + OR2( , ) -> + OR2( , 0 ) -> 0 + + EQ(APPLE ,APPLE) -> 1 + EQ(APPLE ,PEAR) -> + EQ(PEAR ,PEAR) -> 1 + EQ(,) -> 1 + EQ(,PEAR) -> + EQ(PEAR ,) -> + + BOOLEAN() -> 0 + BOOLEAN(0) -> 1 + BOOLEAN(foo) -> 1 + BOOLEAN(1,2,3) -> 1 + + REST() -> + REST(1) -> + REST(1,2) -> 2 + REST(1,2,3) -> 2,3 +*/ diff --git a/library/cpp_ext_1.c b/library/cpp_ext_1.c new file mode 100644 index 0000000..788c57a --- /dev/null +++ b/library/cpp_ext_1.c @@ -0,0 +1,195 @@ +/* +These are the recursive extension. + +Simple errors can lead to very long error outputs, which might be why +the cpp designers had obviously intended that recursion would not be possible. + +To be added: + +LIST_TOO_LONG + +cleanup list +DROP_EMPTY_ALL +DROP_EMPTY_LEFT +DROPE_EMPTY_RIGHT + +#define CAT(sep,first,...) \ + +Instead of comma separated lists consider instead to make a list with #define: +``` +#define LIST_1 +#define LIST_2 + +#ifdef LIST_2 + ... +`` + +*/ + +#ifndef CPP_EXT_1 +#define CPP_EXT_1 + +/*--------------------------------------------------------------------------- + Force extra macro expansion (the EVAL trick) + This chain of EVAL macros forces the preprocessor to perform many rescans, + which is necessary to “unroll” recursive macros. +---------------------------------------------------------------------------*/ + //#define EVAL(...) EVAL1024(__VA_ARGS__) + #define EVAL(...) EVAL32(__VA_ARGS__) + #define EVAL1024(...) EVAL512(EVAL512(__VA_ARGS__)) + #define EVAL512(...) EVAL256(EVAL256(__VA_ARGS__)) + #define EVAL256(...) EVAL128(EVAL128(__VA_ARGS__)) + #define EVAL128(...) EVAL64(EVAL64(__VA_ARGS__)) + #define EVAL64(...) EVAL32(EVAL32(__VA_ARGS__)) + #define EVAL32(...) EVAL16(EVAL16(__VA_ARGS__)) + #define EVAL16(...) EVAL8(EVAL8(__VA_ARGS__)) + #define EVAL8(...) EVAL4(EVAL4(__VA_ARGS__)) + #define EVAL4(...) EVAL2(EVAL2(__VA_ARGS__)) + #define EVAL2(...) EVAL1(EVAL1(__VA_ARGS__)) + #define EVAL1(...) __VA_ARGS__ + +/*--------------------------------------------------------------------------- + Defer macros: these help “hide” recursive calls for additional expansion passes. +---------------------------------------------------------------------------*/ +// defined in cpp_ext_0: RETURN_NOTHING() + + #define DEFER1(m) \ + m RETURN_NOTHING() + #define DEFER2(m) \ + m RETURN_NOTHING RETURN_NOTHING()() + #define DEFER3(m) \ + m RETURN_NOTHING RETURN_NOTHING RETURN_NOTHING()()() + #define DEFER4(m) \ + m RETURN_NOTHING RETURN_NOTHING RETURN_NOTHING RETURN_NOTHING()()()() + #define DEFER5(m) \ + m RETURN_NOTHING RETURN_NOTHING RETURN_NOTHING RETURN_NOTHING RETURN_NOTHING()()()()() + +/*--------------------------------------------------------------------------- + List operations + + number of EVALs required depends upon length list that is processed + + REST will return nothing on one of two conditions: that the list has + been exhausted, or that the list is about to be exhausted and it has nothing + after the last comma. To assure that a tailing item always gets sent + to the predicate, even when empty, we append an empty item. + +---------------------------------------------------------------------------*/ + // defined in cpp_ext_0: _FIRST(a ,...) a + + // returns found item or EOL() + #define _FIND(predicate ,...) \ + IF \ + (__VA_ARGS__) \ + (IF \ + ( predicate(_FIRST(__VA_ARGS__)) ) \ + ( _FIRST(__VA_ARGS__) ) \ + ( DEFER3(_FIND_CONFEDERATE)()(predicate ,REST(__VA_ARGS__)) ) \ + ) \ + (EOL()) + #define _FIND_CONFEDERATE() _FIND + #define FIND(predicate ,...) EVAL( _FIND(predicate ,__VA_ARGS__ ,) ) + + // true if list exhausted, false otherwise + #define _WHILE(predicate ,...) \ + IF \ + (__VA_ARGS__) \ + (IF \ + ( predicate(_FIRST(__VA_ARGS__)) ) \ + ( DEFER3(_WHILE_CONFEDERATE)()(predicate ,REST(__VA_ARGS__)) ) \ + () \ + ) \ + (1) + #define _WHILE_CONFEDERATE() _WHILE + #define WHILE(predicate ,...) EVAL( _WHILE(predicate ,__VA_ARGS__ ,) ) + + // returns true or false + #define _CONTAINS(item ,...) \ + IF \ + (__VA_ARGS__) \ + (IF \ + ( EQ(item ,_FIRST(__VA_ARGS__)) ) \ + ( 1 ) \ + ( DEFER3(_CONTAINS_CONFEDERATE)()(item ,REST(__VA_ARGS__)) ) \ + ) \ + () + #define _CONTAINS_CONFEDERATE() _CONTAINS + #define CONTAINS(predicate ,...) EVAL( _CONTAINS(predicate ,__VA_ARGS__ ,) ) + + // if no list, returns EOL(), else returns last item in the list + #define _LAST(...) \ + IF \ + (__VA_ARGS__) \ + ( _LAST_s(_FIRST(__VA_ARGS__) ,REST(__VA_ARGS__)) ) \ + (EOL()) + #define _LAST_s(item, ...) \ + IF \ + (__VA_ARGS__) \ + ( DEFER3(_LAST_s_CONFEDERATE)()(_FIRST(__VA_ARGS__) ,REST(__VA_ARGS__)) ) \ + (item) + #define _LAST_s_CONFEDERATE() _LAST_s + #define LAST(...) EVAL( _LAST(__VA_ARGS__ ,) ) + + #define CAT(sep ,...) \ + IF \ + (__VA_ARGS__) \ + (_CAT_s( sep ,__VA_ARGS__)) \ + () + + #define _CAT_s(sep ,a ,...)\ + IF \ + (__VA_ARGS__) \ + ( EVAL(_CAT_ss(sep ,a ,__VA_ARGS__)) ) \ + (a) + + #define _CAT_ss(sep ,accumulator ,a ,...) \ + IF \ + (__VA_ARGS__) \ + ( DEFER2(_CAT_ss_CONFEDERATE)()(sep ,accumulator##sep##a ,__VA_ARGS__) ) \ + (accumulator##sep##a) + + #define _CAT_ss_CONFEDERATE() _CAT_ss + + // comma does not work with CAT so use this, though perhaps list ,a would be faster? + #define APPEND(...) \ + IF \ + (__VA_ARGS__) \ + (_APPEND_s(__VA_ARGS__)) \ + () + + #define _APPEND_s(a ,...)\ + IF \ + (__VA_ARGS__) \ + ( EVAL(_APPEND_ss(a ,__VA_ARGS__)) ) \ + (a) + + #define _APPEND_ss(accumulator ,a ,...) \ + IF \ + (__VA_ARGS__) \ + ( DEFER2(_APPEND_ss_CONFEDERATE)()(accumulator, a, ,__VA_ARGS__) ) \ + (accumulator,a) + + #define _APPEND_ss_CONFEDERATE() _APPEND_ss + + +/*--------------------------------------------------------------------------- + Quantifiers +---------------------------------------------------------------------------*/ + + // AKA all quantification, returns true or false + #define AND(...) WHILE(EXISTS ,__VA_ARGS__) + + // AKA existence quantification, returns true or false + #define OR(...) NOT( WHILE(NOT ,__VA_ARGS__) ) + +/*--------------------------------------------------------------------------- + Access +---------------------------------------------------------------------------*/ + + #define FIRST(...) \ + IF( __VA_ARGS__ ) \ + ( _FIRST(__VA_ARGS__) ) \ + (EOL()) + + +#endif diff --git a/release/Deb-12.10_gcc-12.4.1/README.org b/release/Deb-12.10_gcc-12.4.1/README.org new file mode 100644 index 0000000..0245b24 --- /dev/null +++ b/release/Deb-12.10_gcc-12.4.1/README.org @@ -0,0 +1,2 @@ + +Currently there is no release, so I have linked these into the developer/toolchain directory. diff --git a/release/Deb-12.10_gcc-12.4.1/bin b/release/Deb-12.10_gcc-12.4.1/bin new file mode 120000 index 0000000..e1a6fbb --- /dev/null +++ b/release/Deb-12.10_gcc-12.4.1/bin @@ -0,0 +1 @@ +../../developer/toolchain/bin \ No newline at end of file diff --git a/release/Deb-12.10_gcc-12.4.1/include b/release/Deb-12.10_gcc-12.4.1/include new file mode 120000 index 0000000..066a754 --- /dev/null +++ b/release/Deb-12.10_gcc-12.4.1/include @@ -0,0 +1 @@ +../../developer/toolchain/include \ No newline at end of file diff --git a/release/Deb-12.10_gcc-12.4.1/lib b/release/Deb-12.10_gcc-12.4.1/lib new file mode 120000 index 0000000..72a0d67 --- /dev/null +++ b/release/Deb-12.10_gcc-12.4.1/lib @@ -0,0 +1 @@ +../../developer/toolchain/lib \ No newline at end of file diff --git a/release/Deb-12.10_gcc-12.4.1/lib64 b/release/Deb-12.10_gcc-12.4.1/lib64 new file mode 120000 index 0000000..5dcf636 --- /dev/null +++ b/release/Deb-12.10_gcc-12.4.1/lib64 @@ -0,0 +1 @@ +../../developer/toolchain/lib64 \ No newline at end of file diff --git a/release/Deb-12.10_gcc-12.4.1/libexec b/release/Deb-12.10_gcc-12.4.1/libexec new file mode 120000 index 0000000..e1550ab --- /dev/null +++ b/release/Deb-12.10_gcc-12.4.1/libexec @@ -0,0 +1 @@ +../../developer/toolchain/libexec \ No newline at end of file diff --git a/release/Deb-12.10_gcc-12.4.1/share b/release/Deb-12.10_gcc-12.4.1/share new file mode 120000 index 0000000..8287447 --- /dev/null +++ b/release/Deb-12.10_gcc-12.4.1/share @@ -0,0 +1 @@ +../../developer/toolchain/share \ No newline at end of file -- 2.20.1