GCC 10.1 Released

#1

Post by nrgc » Thu, May 07, 2020, 2:47 PM UTC

GCC 10.1 Released
gcc.gnu.org

Re: GCC 10.1 Released

#2

Post by DyslexicAtheist » Thu, May 07, 2020, 2:51 PM UTC

I love the built-in static analyzer -fanalyzer option in gcc-10.

[1] https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.h...

Re: GCC 10.1 Released

#3

Post by ufo » Thu, May 07, 2020, 2:52 PM UTC

DyslexicAtheist wrote: post #2

I love the built-in static analyzer -fanalyzer option in gcc-10. [1] https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.h...

What do you love the most about the new analyzer pass? I haven't had a chance to try it out for myself yet but I'm looking forward to it.

Re: GCC 10.1 Released

#4

Post by liquidify » Thu, May 07, 2020, 2:59 PM UTC

wish gcc 10 was built into ubuntu 20.04

Re: GCC 10.1 Released

#5

Post by htfy96 » Thu, May 07, 2020, 3:01 PM UTC

ufo wrote: post #3

DyslexicAtheist wrote: post #2

I love the built-in static analyzer -fanalyzer option in gcc-10. [1] https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.h...

What do you love the most about the new analyzer pass? I haven't had a chance to try it out for myself yet but I'm looking forward to it.

An example to detect use-after-free: https://godbolt.org/z/zhiNLW

Basically this replicates what clang-tidy did

Re: GCC 10.1 Released

#6

Post by RMPR » Thu, May 07, 2020, 3:02 PM UTC

liquidify wrote: post #4

wish gcc 10 was built into ubuntu 20.04

GCC 10 is in Fedora 32 though

https://fedoramagazine.org/announcing-fedora-32/

Re: GCC 10.1 Released

#7

Post by glouwbug » Thu, May 07, 2020, 3:03 PM UTC

DyslexicAtheist wrote: post #2

I love the built-in static analyzer -fanalyzer option in gcc-10. [1] https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.h...

Imagine if -fanalyze was like rusts borrow checker

Re: GCC 10.1 Released

#8

Post by greendave » Thu, May 07, 2020, 3:06 PM UTC

> Several C++20 features have been implemented: > P0912R5, Coroutines (requires -fcoroutines)

Nice to see a bunch of C++20 features making it in. Coroutines seems like a big one!

Re: GCC 10.1 Released

#9

Post by cornstalks » Thu, May 07, 2020, 3:08 PM UTC

htfy96 wrote: post #5

ufo wrote: post #3

Earlier quoted context omitted.

What do you love the most about the new analyzer pass? I haven't had a chance to try it out for myself yet but I'm looking forward to it.

An example to detect use-after-free: https://godbolt.org/z/zhiNLW Basically this replicates what clang-tidy did

Too bad it doesn't detect the mismatch between new and free.

Re: GCC 10.1 Released

#10

Post by simias » Thu, May 07, 2020, 3:14 PM UTC

glouwbug wrote: post #7

DyslexicAtheist wrote: post #2

I love the built-in static analyzer -fanalyzer option in gcc-10. [1] https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.h...

Imagine if -fanalyze was like rusts borrow checker

You Rust borrow checker requires special annotations and restrictions put on the code to do its job. I don't think you could something like that automatically on a C or C++ full codebase without having to manually annotate and refactor it somewhat. There are many common (and safe) C and C++ patterns that would be outright rejected by Rust's borrow checker, for instance initializing a structure or array partially if you're sure that nobody is going to use the initialized portion. Or having multiple mutable pointers/reference to the same object.

You could do something like that at runtime though, but then you have Valgrind, basically.