I may have found the problem: the line: gcc_assert(…) is converted to a branch instruction, which didn't have any constraints at all. After polishing up the machine instruction I got around this error. After that another error has surfaced but this is because I didn't take everything into account. Thanks a lot for your help! ~Jens