Inconsistent report by ccc-analyzer

Currently I have a case where the code of a single .c file in two
branches of our code is identical, but in one branch ccc-analyzer
reports it as "Uninitialized argument value" and in the other not.

What gives?

Thanks in advance for reading and any insights you can give,

// Oliver

Version details:

clang version 3.4 (http://llvm.org/git/clang.git
a335ba031b18e2736120b5b82bfee08c50ec522c) (http://llvm.org/git/llvm.git
dbb832b83351cec97b025b61c26536ef50c3181c)

Hello again,

I think I understand it better now. The function itself was recursive.
The code approximates to: