שחרור חבילת המהדר GCC 13

לאחר שנה של פיתוח, שוחררה השחרור של חבילת המהדרים החינמית של GCC 13.1, המהדורה המשמעותית הראשונה בענף החדש של GCC 13.x. תחת סכימת מספור המהדורה החדשה, נעשה שימוש בגרסה 13.0 במהלך הפיתוח, וזמן קצר לפני יציאתו של GCC 13.1, הסניף של GCC 14.0 כבר היה מתפצל, ממנו תיווצר המהדורה המשמעותית הבאה של GCC 14.1.

שינויים עיקריים:

• ה-GCC אימץ חזית לבניית תוכניות בשפת התכנות Modula-2. הוא תומך בקוד בנייה התואם את הדיאלקטים PIM2, PIM3 ו-PIM4, כמו גם לתקן ISO המקובל עבור שפה זו.
• חזית קצה עם יישום מהדר שפת Rust שהוכן על ידי פרויקט gccrs (GCC Rust) התווסף לעץ המקור של GCC. בתצוגה הנוכחית, הפורנט מסומן כניסיוני ומושבת כברירת מחדל. ברגע שה-frontend מוכן (צפוי במהדורה הבאה), ניתן להשתמש בערכת הכלים הסטנדרטית של GCC כדי להדר תוכניות Rust ללא צורך בהתקנת מהדר rustc שנבנה באמצעות פיתוחי LLVM.
• Link-in-Step Optimization (LTO) מוסיף תמיכה בשרת עבודה (שרת עבודה) המתוחזק על ידי פרויקט GNU make כדי לייעל את ביצוע הבנייה במקביל על פני שרשורים מרובים. ב-GCC, שרת העבודה משמש להקביל עבודה במהלך אופטימיזציה של LTO בהקשר של התוכנית כולה (WPA, Whole-program Analysis). צינורות בעלי שם (--jobserver-style=fifo) משמשים כברירת מחדל לתקשורת עם שרת העבודה.
• הנתח הסטטי (-fanalyzer) מציע 20 בדיקות אבחון חדשות, כולל "-Wanalyzer-out-of-bounds", "-Wanalyzer-allocation-size", "-Wanalyzer-deref-before-check", "-Wanalyzer-infinite-recursion" -Wanalyzer-jump-through-analyzerak", "-Wanalyzer-jump-through-analyzerak".
• הוטמעה היכולת להוציא אבחון בפורמט SARIF המבוסס על JSON. ניתן להשתמש בפורמט החדש כדי לקבל תוצאות ניתוח סטטי (GCC -fanalyzer), כמו גם כדי לקבל מידע על אזהרות ושגיאות. ההפעלה מתבצעת עם האפשרות "-fdiagnostics-format=sarif-stderr|sarif-file|json-stderr|json|json-file", כאשר אפשרויות עם "json" מביאות לפלט בגרסה ספציפית ל-GCC של פורמט JSON.
• הטמיע כמה תכונות המוגדרות בתקן C23 C, כגון קבוע nullptr להגדרת מצביעי null, מה שמקל על השימוש ברשימות עם מספר משתנה של ארגומנטים (variadic), הרחבת היכולות של enums, תכונת noreturn, מאפשרת שימוש ב-constexpr וב-auto בעת הגדרת אובייקטים, האופרטור typeof ו-typeof_align,_as_new assert, thread_local ו-true, המאפשר סוגריים ריקים בעת ייזום ראשוני.
• חלק מהתכונות המוגדרות בתקן C++23 מיושמות, כגון היכולת למקם תוויות בסוף ביטויים מורכבים, תאימות לסוג char8_t, ההנחיה הקדם-מעבד #warning, מופרדות (\u{}, \o{}, \x{}) ושמות ('\N{LATIN CAPITAL LETTER A}') אופרטורים סטטיים של escape(static escape, אופרטור escape, static אופרטור, על השימוש ב-con stexpr, תמיכה ב-UTF-8 בקוד המקור.
• libstdc++ שיפרה תמיכה ניסיונית עבור תקני C++20 ו-C++23, כגון הוספת תמיכה בקבצי כותרת ו- std::format, יכולות קובץ כותרת מורחבות , סוגי נקודה צפה נוספים נוספו, קובצי כותרות יושמו ו .
• נוספו תכונות פונקציה חדשות למסמך שמתאר קובץ מועבר במשתנה מספר שלם: "__attribute__((fd_arg(N)))", "__attribute__((fd_arg_read(N)))", ו-__attribute__((fd_arg_write(N)))). ניתן להשתמש בתכונות שצוינו בנתח סטטי (-fanalyzer) כדי לזהות עבודה שגויה עם מתארי קבצים.
• נוספה תכונה חדשה "__attribute__((assume(EXPR)))" שבאמצעותה ניתן לומר למהדר שהביטוי נכון והמהדר יכול להשתמש בעובדה זו מבלי להעריך את הביטוי.
• נוסף דגל "-fstrict-flex-arrays=[level]" לבחירת התנהגות בעת עיבוד של אלמנט מערך גמיש במבנים (Flexible Array Members, מערך בגודל בלתי מוגדר בסוף המבנה, למשל, "int b[]").
• נוסף דגל "-Wenum-int-mismatch" כדי להנפיק אזהרות אם יש חוסר התאמה בין סוג ממוספר לסוג של מספר שלם.
• לחזית Fortran יש תמיכה מלאה בגימור.
• תמיכה בפונקציות וסוגים גנריים (גנריים) נוספה לקצה הקדמי של שפת Go, והובטחה תאימות לחבילות לשפת Go 1.18.
• הקצה האחורי AArch64 תומך ב-CPU Ampere-1A (ampere1a), Arm Cortex-A715 (cortex-a715), Arm Cortex-X1C (cortex-x1c), Arm Cortex-X3 (cortex-x3) ו-Arm Neoverse V2 (neoverse-v2). תמיכה בארגומנטים "armv9.1-a", "armv9.2-a" ו-"armv9.3-a" נוספה לאפשרות "-march=". נוספה תמיכה עבור הרחבות מעבד FEAT_LRCPC, FEAT_CSSC ו-FEAT_LSE2.
• תמיכה במעבדי STAR-MC1 (star-mc1), Arm Cortex-X1C (cortex-x1c) ו-Arm Cortex-M85 (cortex-m85) נוספה לקצה האחורי של ארכיטקטורת ARM.
• תמיכה במעבדי Intel Raptor Lake, Meteor Lake, Sierra Forest, Grand Ridge, Emerald Rapids, Granite Rapids ו-AMD Zen 86 (znver4) נוספה ל-x4 backend. הרחבות ארכיטקטורת ערכות ההוראות AVX-IFMA, AVX-VNNI-INT8, AVX-NE-CONVERT, CMPccXADD, AMX-FP16, PREFETCHI, RAO-INT ו-AMX-COMPLEX המוצעות במעבדי אינטל יושמו. עבור C ו-C++ במערכות עם SSE2, מסופק סוג __bf16.
• הקצה האחורי של יצירת הקוד עבור AMD Radeon GPUs (GCN) מיישם את היכולת להשתמש במאיצי AMD Instinct MI200 כדי לשפר את ביצועי OpenMP/OpenACC. וקטוריזציה משופרת באמצעות הוראות SIMD.
• יכולות backend מורחבות באופן משמעותי עבור פלטפורמת LoongArch.
• נוספה תמיכה עבור XuanTie C906 של CPU T-Head (thead-c906) בקצה האחורי של RISC-V. הטמעה תמיכה במטפלי וקטורים המוגדרים במפרט RISC-V Vector Extension Intrinsic 0.11. נוספה תמיכה עבור 30 הרחבות מפרט RISC-V.
• בעת יצירת אובייקטים משותפים עם האפשרות "-shared", קוד האתחול אינו נוסף לאחר הוספת סביבת נקודה צפה אם האופטימיזציות "-Ofast", "-ffast-math" או "-funsafe-math-optimizations" מופעלות.
• תמיכה בפורמט ניפוי באגים DWARF מיושמת כמעט בכל התצורות.
• נוספה אפשרות "-gz=zstd" לדחיסת מידע באגים באמצעות האלגוריתם Zstandard. הוסרה תמיכה במצב דחיסת מידע ניפוי באגים שהוצא משימוש "-gz=zlib-gnu".
• נוספה תמיכה ראשונית ב-OpenMP 5.2 (Open Multi-Processing) והיישום של תקני OpenMP 5.0 ו-5.1 נמשך, תוך הגדרת API ושיטות ליישום שיטות תכנות מקבילות על מערכות מרובות ליבות והיברידיות (CPU + GPU / DSP) עם יחידות זיכרון ווקטוריזציה משותפות (SIMD).
• תמיכה הוצאה משימוש בפורמט אחסון מידע ניפוי באגים מדור קודם של STABS (מופעל עם האפשרויות -gstabs ו-gxcoff), שנוצר בשנות השמונים והשתמש ב-dbx מאתר הבאגים.
• תמיכה שהוצאה משימוש עבור Solaris 11.3 (קוד לתמיכה בפלטפורמה זו יוסר במהדורה עתידית).

מקור: OpenNet.ru