Improvements to static analysis in the GCC 14 compiler | Red Hat Developer
I work at Red Hat on GCC, the GNU Compiler Collection. For the last five releases of GCC, I've been working on -fanalyzer, a static analysis pass that tries to identify various problems at compile-time, rather than at runtime. It performs "symbolic execution" of C source code—effectively simulating the behavior of the code along the various possible paths of execution through it. This article summ
Patching GCC to build Actually Portable Executables | Blog Needs a Name
Patching GCC to build Actually Portable Executables2023-07-13: I wrote a ~2000-line gcc patch to simplify building Actually Portable Executables with Cosmopolitan Libc. Now you can build popular software such as bash, curl, git, ninja, and even gcc itself, with Cosmopolitan Libc via the ./configure or cmake build system, without having to change source code, and the built executables should run on
GCC undefined behaviors are getting wild
Happy with my recent breakthrough in understanding C integer divisions after weeks of struggle, I was minding my own business having fun writing integer arithmetic code. Life was good, when suddenly… zsh: segmentation fault (core dumped). That code wasn't messing with memory much so it was more likely to be a side effect of an arithmetic overflow or something. Using -fsanitize=undefined quickly id
A deeper look into the GCC Rust front-end [LWN.net]
Benefits for LWN subscribersThe primary benefit from subscribing to LWN is helping to keep us publishing, but, beyond that, subscribers get immediate access to all site content and access to a number of extra site features. Please sign up today! Philip Herron and Arthur Cohen presented an update on the "gccrs" GCC front end for the Rust language at the 2022 Kangrejos conference. Less than two week
Rust front-end
David Edelsohn dje.gcc@gmail.com Mon Jul 11 15:01:44 GMT 2022 Previous message (by thread): Rust front-end Next message (by thread): [RFC] Using std::unique_ptr and std::make_unique in our code Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] On Mon, Jun 27, 2022 at 10:52 AM Philip Herron <philip.herron@embecosm.com> wrote: > > Hi everyone, > > Since November 2020, I've worked full-t
A Rust-in-GCC update [LWN.net]
Hi everyone, Since November 2020, I've worked full-time on the Rust front-end for GCC, thanks to Open Source Security, Inc and Embecosm. As a result, I am writing to this mailing list to seek feedback from the collective experience here early to plan a path for upstreaming the front-end into GCC. 1. What is the actual process of merging a prominent feature like this upstream - How do we review thi
GCC for New Contributors — GCC Contributors Guide 0.1 documentation
GCC for New Contributors¶ This is an unofficial guide to GCC’s internals, aimed at new developers, and at plugin authors. Source: https://github.com/davidmalcolm/gcc-newbies-guide I’m a relative newcomer to GCC, so I thought it was worth documenting some of the hurdles I ran into when I started working on GCC, to try to make it easier for others to start hacking on GCC. Hence this guide. Other sou
Optimizations enabled by -ffast-math
This blog post describes the optimizations enabled by -ffast-math when compiling C or C++ code with GCC 11 for x86_64 Linux (other languages/operating systems/CPU architectures may enable slightly different optimizations). -ffast-math Most of the “fast math” optimizations can be enabled/disabled individually, and -ffast-math enables all of them:1 -ffinite-math-only -fno-signed-zeros -fno-trapping-
GitHub - Rust-GCC/gccrs: GCC Front-End for Rust
Please note, the compiler is in a very early stage and not usable yet for compiling real Rust programs. gccrs is a full alternative implementation of the Rust language ontop of GCC with the goal to become fully upstream with the GNU toolchain. The origin of this project was a community effort several years ago where Rust was still at version 0.9; the language was subject to so much change that it
Static analysis in GCC 10 | Red Hat Developer
Try Red Hat products and technologies without setup or configuration fees for 30 days with this shared Openshift and Kubernetes cluster.
Compiler fuzzing, part 1
Much has been written about fuzzing compilers already, but there is not a lot that I could find about fuzzing compilers using more modern fuzzing techniques where coverage information is fed back into the fuzzer to find more bugs. If you know me at all, you know I'll throw anything I can get my hands on at AFL. So I tried gcc. (And clang, and rustc -- but more about Rust in a later post.) Levels o
A serious bug in GCC
This post is to inform you about a bug in GCC that may cause memory (or other resource) leaks in your valid C++ programs. One of the pillars of C++ philosophy is what we often call RAII: if you use classes to manage resources, use constructors for allocating resources and destructors for releasing them, the language makes sure that whatever happens, however you use such classes the resources will
qrintfの最適化 - 開発日記
H2Oの内部では，数値，文字列のフォーマッタとしてsprintfが用いられています． 我々は，最近までsprintf専用ソースコード変換器, qrintfのチューニングを行っていました． 本稿ではqrintfの概要と今回適応した工夫，そして今後の課題についてまとめておきます． 1. qrintfとは？ qrintfとはCコンパイラの１つであるgccのプリプロセッサのラッパーであり，snprintfを高速化するソースコード変換器です． 本稿執筆時点でのqrintfの変換対象はsprintfとsnprintfです．以下本文中では特にことわりのない限りsprintfと記述した場合sprintf, snprintfの両方を指します． qrintfはソースコードに出現するsprintfで利用するフォーマット文字列を解析し，型ごとに用意された関数呼出にコードを書き換えsprintfの高速化を行います．
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Improvements to static analysis in the GCC 13 compiler | Red Hat Developer
[LEE3] Adding a Rust compiler front end to GCC Philip Herron & Arthur Cohen, Embecosm
gcc profiler internals
New performance features and improvements in GCC 12
30 Days in the Hole – Armed and Dangerous
Jack Whitham - GCC Bug 323 - a journey to the heart of floating-point darkness
Manuel López-Ibáñez - GCC needs YOU!