Advogato blog for redi

8 Feb 2012

Wed, 8 Feb 2012 16:46:59 GMT

fzort and cdfrey, the conditional (a.k.a ternary) operator doesn't strictly require the second and third operands to have the same type, but it must be possible to convert one operand to the type of the other. In fzort's example both needed to be converted to foo*, neither can be converted to the other type, so it's ill-formed.

(There is another form allowed which doesn't require conversion, where one of the operands is a throw-expression: which ? new foo : throw "catch me". This isn't entirely useless syntactic sugar, it can be used to throw exceptions from constexpr functions, which don't allow if statements.)

12 Jan 2012

Thu, 12 Jan 2012 21:43:57 GMT

I've finally drunk the git kool aid. I'd tried it before, but didn't inhale. Maybe I'm just feeling the effects of that cocktail of mixed metaphors but I really like it.

No more manually copying files between my home machine and my netbook (which isn't big enough or strong enough to handle a whole gcc subversion checkout, let alone the whole git repo) so I can work on the train. And I've already created about one new local branch a day in my gcc clone, so I can juggle fixes for several different PRs at once without constantly applying and reverting patches to my svn working dir.

I signed up to github so I can easily fork other people's repositories and send pull requests via the web interface, but decided to use gitorious for hosting some of my own projects. I like that gitorious itself is open source, but unfortunately ... it just doesn't work as well! I don't mind occasional weird rendering bugs on the web pages, but now I can't push/pull anything, due to an ssh error that didn't happen previously. Ho hum, I'll stick with it for a while yet. Github, on the other hand, is pretty damn slick.

6 Jan 2012

Fri, 6 Jan 2012 18:08:40 GMT

Vim syntax highlighting for C++11 raw strings

A little over a year ago I mentioned a vim syntax file for C++0x which I was using for a while, but it only adds support for some new keywords, not new syntax such as lambda expressions and list-initialization. Last month I found cpp11.vim in the Vim online script database, which intends to support the new C++11 syntax, by replacing your existing cpp.vim entirely.

Not quite satisfied with either of those, I've started using my own cpp.vim to extend the default cpp.vim file (which is done by putting it in ~/.vim/after/syntax/cpp.vim) with syntax highlighting for the new keywords and also C++11 raw strings.

With my colour settings they look like this:



  char raw[] = R"#(s/"\([^"]*\)"/'\1'/g)#";

which is equivalent to:



  char yuk[] = "s/\"\\([^\"]*\\\"/'\\1'/g";

only without suffering from leaning toothpick syndrome.

The # in the example can be (almost) any sequence of zero or more characters acting as a delimiter. The example above requires a non-empty delimiter because the string contains )", which would be taken as the end of the raw string otherwise:



  char raw[] = R"(s/"\([^"]*\)"/'\1'/g)";  // ERROR!

You could choose to use "" as the delimiter sequence, as a nod to Python



  char raw[] = R"""(triple-quoted for great justice)""";

20 Dec 2011

Tue, 20 Dec 2011 13:54:58 GMT

broonie asked what's wrong with switch statements?

The default behaviour of switch statements is broken, it's too easy to forget a break and introduce a fall-through bug. That's harder to do with the if-else-if-else form.

Breaking after each case should have been the default and continue should have been required to explicitly fall through. It wouldn't even have needed a new keyword.

20 Dec 2011

Tue, 20 Dec 2011 10:51:57 GMT

hjclub, I repeat this from the Advogato FAQ (emphasis mine):

the purpose of the trust metric is to certify that a given user account on Advogato is known by the Advogato community to actually belong to the individual who claims it and is known to be a member of the free software and open source community.

Certifying random spammers because you feel like it doesn't meet the purpose. You are of course free to use the trust metric for something different to its stated purpose, but don't be surprised if you get "exiled" as a spammer when you insist on certifying spammers. If you happen to know someone is who they claim to be, and they're a real member of the open source community, write a diary entry to say so, telling other users they're not an annoying spammer, even though they have an obviously computer-generated name!

FWIW, a spam rating of 9 does not mean 9 people rated you, users with a Master cert add 3 to a spam rating, Journeyers add 2, and Apprentices add 1, reflecting the trust the community places in people with a higher rating. So it only takes three Masters to take a spam rating to 9. I haven't rated you as a spammer because I recognised your username and think you should get a second chance to participate in the community, but if you continue to certify obvious spammers I will use my +3 spamhammer :)

19 Dec 2011

Mon, 19 Dec 2011 20:05:35 GMT

Welcome back, hjclub.

Why did you certify fredericpete821 when that's clearly a spammer account? You got kicked out once before for doing that, after being advised not to.

Certifying spammers is not how to interact with this community

2 Nov 2011

Wed, 2 Nov 2011 14:48:59 GMT

C++11 brainteaser

Here's a little program showing something that std::bind can do that lambdas can't.



#include <functional>

#include <string>

#include <iostream>



struct Polly

{

  template<typename T, typename U>

    auto operator()(T t, U u) -> decltype(t + u) const

    { return t + u; }

};



int main()

{

  auto polly = std::bind(Polly(), std::placeholders::_1, "confusing");



  std::cout << polly(4) << polly(std::string(" this is ")) << std::endl;

}

What will it print?

1 Nov 2011

Tue, 1 Nov 2011 11:08:17 GMT

I wrote previously about needing to hack the clang sources to build it with gcc in a non-standard location. That patch is no longer necessary, to enable it to find the GCC headers and runtime files I now configure it as:



GCC_DIR=/your/gcc/prefix

GCC_VER=4.4.3

GCC_ARCH=x86_64-unknown-linux-gnu

../llvm/configure --prefix=$PREFIX --enable-targets=host \

  --enable-optimized --disable-jit \

  LDFLAGS=-Wl,-R,$GCC_DIR/lib64 \

  --with-cxx-include-root=$GCC_DIR/include/c++/$GCC_VER \

  --with-cxx-include-arch=$GCC_ARCH

Due to some GNUisms in older versions of glibc (e.g 2.5 in my case) it's necessary to build LLVM with

make CFLAGS=-std=gnu89

27 Oct 2011

Thu, 27 Oct 2011 18:36:32 GMT

An even simpler recipe for building GCC

Building GCC is not trivial, but is not difficult if you follow the instructions carefully.

Many people rush into trying to build it without reading the installation docs properly and make one or more of these common mistakes:

1) do not run ./configure - this is not supported, you need to run configure from outside the source directory

2) if GCC links dynamically to the prerequisite libs (GMP/MPFR/MPC) then the shared libraries must be in the dynamic linker's path, both when building gcc and when using the installed compiler.

These problems are easily avoided by reading http://gcc.gnu.org/install/prerequisites.html, http://gcc.gnu.org/install/configure.html, http://gcc.gnu.org/wiki/FAQ#configure and http://gcc.gnu.org/wiki/FAQ#configure_suffix but noone does that.

For the impatient or RTFM-intolerant, a foolproof recipe for building GCC is given below.

The trick to this recipe is that the GMP, MPFR and MPC prerequisites are not installed separately, they are built as part of gcc and linked to statically. This avoids the common problem of installing the shared libraries in a non-standard location and having to tell the dynamic linker how to find them. This method is documented at http://gcc.gnu.org/install/prerequisites.html and is much easier than building and installing the prerequisites separately, but everyone seems to choose the hard way.

THIS RECIPE IS NOT A SUBSTITUTE FOR RTFM.

If you decide to stray from this recipe without read the docs do not be surprised if you get indigestion.

* Ingredients:

1 gcc source package (e.g. gcc-4.6.2.tar.gz)

Alternatively, download individual packages for each GCC language front end (e.g. gcc-core, gcc-g++ etc.)

* Method:

First prepare your environment, season these variables to taste:



  # the version you will build

  gccver=4.6.2

  # where you put the downloaded source packages

  pkgdir=$HOME

  # where you will build gcc

  rootdir=$HOME/gcc-tmp

  # where you want to install gcc

  prefix=/opt/gcc-${gccver}

  # the languages you want gcc to support

  langs=c,c++

Create a new directory on a disk with plenty of space and unpack the sources there:



  mkdir ${rootdir}

  cd ${rootdir}

  tar xzf ${pkgdir}/gcc-${gccver}.tar.gz

Next, download the prerequisite sources into the gcc source directory:



  cd gcc-${gccver}

  ./contrib/download_prerequisites

  cd ..

Now create a build directory and change to it



  mkdir objdir

  cd objdir

Now configure gcc:



  ${rootdir}/gcc-${gccver}/configure --prefix=${prefix} --enable-languages=${langs}

Now build gcc:



  make

Finally, install gcc:



  make install

Your compiler is now ready to use.
If something goes wrong you can just remove the entire $rootdir/objdir directory and recreate it and run configure again. The source dir will be unchanged because it is never altered when you build in a separate dir.

13 Oct 2011

Thu, 13 Oct 2011 10:34:47 GMT

RIP, dmr