Fixed. Thanks for the bug report, Johan! - 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