Hi Johan, Thanks for reporting this to us! I will try to fix it soon. - Yang On 09/25/2014 08:23 AM, Johan Bengtsson wrote:
Hi,The attached file triggers a crash in the move-global-var transformation. The reason seems to be that the source-range for the variable declaration is invalid which in turn seems to be due to that int32_t is undeclared. I have tried to find a way to fix it but I don't know enough about the internals of creduce and clang.Clang version: 3.5.0 subversion tag. Creduce version: master #4749964 OS: Ubuntu 14.04 Sincerely, Johan Bengtsson