Re: [creduce-bugs] Crash reports

2012-06-18 Thread Yang Chen
I can reproduce these crashes. I will try to fix them soon. - Yang On 6/19/12 2:09 AM, John Regehr wrote: Yes, thanks a lot Konstantin. I'll note that Yang Chen, the clang_delta hacker, is out of the country for a while so progress might be a bit slow. John On 6/18/12 7:59 AM,

Re: [creduce-bugs] remove-nested-function explosion

2012-06-21 Thread Yang Chen
Fixed in commit cb1bda3. Thanks for the testcase! - Yang On 6/21/12 2:54 AM, Konstantin Tokarev wrote: Hi all, I've found a case when remove-nested-function pass leads to unlimited growth of input file. In attachement you can find input file before creduce run (good) and after a number of re

Re: [creduce-bugs] Crash report

2012-06-21 Thread Yang Chen
Fixed in 9e4efe9. Thanks for the bug report! - Yang On 6/22/12 2:45 AM, Konstantin Tokarev wrote: Reproducible on Linux with clang_delta 49e4f37

Re: [creduce-bugs] clang_delta crash report

2012-06-24 Thread Yang Chen
On 6/24/12 9:55 PM, Konstantin Tokarev wrote: clang_delta --version clang_delta 2.1.0 Git version: 12f63c4 Fixed in 07580d1. Again, thanks for reporting it! - Yang

Re: [creduce-bugs] Crash reports

2012-06-24 Thread Yang Chen
On 6/18/12 5:33 PM, Konstantin Tokarev wrote: Hi all, I have a bunch of clang_delta crash reports for you. Some of them may duplicate each other. Fixed in the corpus of my earlier commits. Thanks, Konstantin! - Yang

Re: [creduce-bugs] CReduce crash

2012-07-02 Thread Yang Chen
Yes, I've noticed that. But I couldn't reproduce those crashes. For instance, I got: $ cat bad.c // /home/pm18/local/libexec/clang_delta --transformation=class-template-to-class --counter=1 test.i $ ./clang_delta --transformation=class-template-to-class --counter=1 bad.c Error: The counter val

Re: [creduce-bugs] CReduce crash

2012-07-02 Thread Yang Chen
On 7/2/12 10:42 PM, Eric Eide wrote: Yang> What's your clang version, Paulo? Remember that creduce-bugs is an "open list." People do not need to subscribe in order to send email to the list. That said, I just approved Paulos's subscription request. I will forward recent relevant emai

Re: [creduce-bugs] CReduce crash

2012-07-02 Thread Yang Chen
I will look into it. Thanks! - Yang On 7/2/12 10:50 PM, Paulo J. Matos wrote: On 02/07/12 15:42, Eric Eide wrote: Yang> What's your clang version, Paulo? That would be $ clang --version clang version 3.2 (http://llvm.org/git/clang.git b9d2b3b8edf7a0dc56e55acb1cf87338d5648daa) (http:/

Re: [creduce-bugs] CReduce crash

2012-07-08 Thread Yang Chen
On 7/2/12 10:50 PM, Paulo J. Matos wrote: On 02/07/12 15:42, Eric Eide wrote: Yang> What's your clang version, Paulo? That would be $ clang --version clang version 3.2 (http://llvm.org/git/clang.git b9d2b3b8edf7a0dc56e55acb1cf87338d5648daa) (http://llvm.org/git/llvm.git a44489d5b5687e9

Re: [creduce-bugs] More CReduce bugs

2012-07-09 Thread Yang Chen
Fixed by f79c29b. Paulo, thanks for the test cases! - Yang On 7/10/12 12:49 AM, Paulo De Oliveira Cantante De Matos wrote: Sorry but it seems today I am hitting them all. 2 crashes, both generated by something like (so might be some bug, or not...): clang_delta: /home/pm18/llvm/tools/clang/li

Re: [creduce-bugs] Crash: RewriteUtils::replaceUnionWithStruct

2012-07-11 Thread Yang Chen
Fixed by the commit 12eaba8. Thanks, Paulo! - Yang On 7/10/12 11:58 PM, Paulo J. Matos wrote: --transformation=union-to-struct --counter=1

Re: [creduce-bugs] param-to-global: Empty transformation leads to infinite loop

2012-10-13 Thread Yang Chen
I plan to do it at airport tomorrow :) - Yang On 10/13/12 6:36 PM, John Regehr wrote: Thanks Konstantin! Yang is traveling but I expect will be able to fix this soon. John On 10/13/2012 12:13 PM, Konstantin Tokarev wrote: 13.10.2012, 22:11, "Konstantin Tokarev" : Running clang_delta -

Re: [creduce-bugs] param-to-global: Empty transformation leads to infinite loop

2012-10-14 Thread Yang Chen
Fixed in 804a468. Thanks! - Yang On 10/13/12 12:13 PM, Konstantin Tokarev wrote: 13.10.2012, 22:11, "Konstantin Tokarev": Running clang_delta --transformation=param-to-global --counter=2 gmock-gtest-all.cc on attached file does not modify it but exits successfully leading to infinite l

Re: [creduce-bugs] A few segfaults

2013-03-07 Thread Yang Chen
Fixed in a2422d5. Thanks Markus! - Yang On 2/10/13 7:12 AM, Markus Trippelsdorf wrote: The attached test-case causes several segfaults: markus@x4 /tmp % clang_delta --transformation=remove-trivial-base-template --counter=1 test.ii Stack dump: 0. parser at end of file [1]24527 segmentatio

Re: [creduce-bugs] clang_delta crash report

2013-06-26 Thread Yang Chen
Fixed. Thanks! - Yang On 6/26/13 5:26 AM, Kees Bakker wrote: Hi, This a crash report for creduce (commit 14d0ab0)

Re: [creduce-bugs] Couple of crashes

2013-06-29 Thread Yang Chen
Fixed. Thanks, Markus! - Yang Markus Trippelsdorf wrote: 1) % gdb --args /var/tmp/creduce/creduce/../clang_delta/clang_delta --transformation=param-to-local --counter=6 clang_delta_crash_tmp_fileBmJ6xQ.ii Reading symbols from /var/tmp/creduce/clang_delta/clang_delta...done. (g

Re: [creduce-bugs] clang_delta crash: --transformation=aggregate-to-scalar --counter=1

2013-06-30 Thread Yang Chen
Something is strange. I couldn't reproduce it. - Yang On 6/30/13 12:32 PM, Дмитрий Дьяченко wrote: Hi! I use: creduce-git-latest clang-3.3 Fedora 19 x86_64 Dmitry

Re: [creduce-bugs] clang_delta crash: --transformation=aggregate-to-scalar --counter=1

2013-07-01 Thread Yang Chen
:174: bool AggregateToScalar::addTmpVar(const clang::Expr*, const string&, const string*): Assertion `(DI != VarDeclToDeclGroupMap.end()) && "Cannot find VarDeclGroup!"' failed. Stack dump: 0. parser at end of file 2013/7/1 Yang Chen : Something is strange. I couldn&#x

Re: [creduce-bugs] crash param-to-local, param-to-global

2013-07-01 Thread Yang Chen
Fix. Thanks Dmitry! - Yang Дмитрий Дьяченко wrote: Hi! Today I double-check attached files. Sorry for yesterday's inconsistency. Clang-3.3, creduce-git-current, Fedora 19 /x86_64 Dmitry

Re: [creduce-bugs] Infinite loop in rename-param

2013-07-12 Thread Yang Chen
Weird, I can't reproduce the bad behavior. I got this: ./clang_delta --transformation=rename-param --counter=1 bigfib-nodtors_3.cpp Error: No valid parameters declarations exist! - Yang On 7/12/13 10:42 AM, Konstantin Tokarev wrote: clang_delta --transformation=rename-param --counter=1 bigfib-

Re: [creduce-bugs] Crash during replace-function-def-with-decl

2013-10-02 Thread Yang Chen
Hi Markus, Thanks for the bug report! I can reproduce it. The crash happens in the Clang's parser, i.e. clang::ParseAST. On the other hand, I can't say it's a Clang bug because apparently the Clang standalone doesn't crash on this test case. So, it could be the case where some clang_delta's i

Re: [creduce-bugs] Compilation Error with LLVM 3.4 trunk

2013-10-10 Thread Yang Chen
Hi Renato, Can you try llvm-svn-compatible branch with current LLVM/Clang? I don't have latest LLVM on my machine, but the llvm-svn-compatible branch has fix to the error below, as I recall. - Yang Renato Golin wrote: Hi folks, I'm trying to compile CReduce with current LLVM/Clang trunk an

Re: [creduce-bugs] example code that crashes creduce

2013-10-21 Thread Yang Chen
Hi Zhendong, Fixed in 29540ee. Thanks for the bug report! - Yang Zhendong Su wrote: Please see the following: $ /usr/local/libexec/clang_delta --transformation=remove-array --counter=1 crash-creduce.c Stack dump: 0. parser at end of file Segmentation fault (core dumped) $ cat crash-cred

Re: [creduce-bugs] Crash in RewriteUtils::replaceFunctionDefWithStr

2013-10-25 Thread Yang Chen
Hi Markus, The crash was caused by the "deleted" function in c++11. I committed another fix, but thanks for the report! - Yang Markus Trippelsdorf wrote: Running llvm trunk and creduce llvm-svn branch I get: markus@x4 tmp % gdb --args /var/tmp/creduce/clang_delta/clang_delta --transformatio

Re: [creduce-bugs] test files for clang_delta crashes

2013-10-25 Thread Yang Chen
Hi Volkmar, Fixed in the commits 96d65b, 0ba714, and e4b07. llvm-svn-compatible branch merged these commits. Thanks for the bug report! - Yang volkmar.kl...@bnv-bamberg.de wrote: Hello creduce-team, I hope the attached files will help you. clang_delta 2.1.0 Git version c6fa12d creduce 2.1.

Re: [creduce-bugs] Assertion `RWBuf && "Empty RewriteBuffer!"' failed

2013-11-23 Thread Yang Chen
Fixed. Thanks! - Yang On 11/20/2013 12:08 AM, Дмитрий Дьяченко wrote: Hi! I use Fedora 19/x86_64 + creduce-trunk + llvm-trunk $ /usr/local/creduce/libexec/clang_delta --transformation=callexpr-to-value --counter=1 /home/dimhen/errs/V/316903/clang_delta_crash_tmp_fileeEwSWs.c clang_delta: Trans

Re: [creduce-bugs] ReducePointerLevel.cpp:553

2013-11-23 Thread Yang Chen
Fixed. Again, thanks Dmitry! - Yang On 11/20/2013 11:01 AM, Дмитрий Дьяченко wrote: creduced testcase :) 2013/11/20 Дмитрий Дьяченко : Hi! I use Fedora 19/x86_64, clang-trunk + creduce-trunk clang_delta: ReducePointerLevel.cpp:553: const clang::DeclaratorDecl* ReducePointerLevel::getRefDecl

Re: [creduce-bugs] clang delta crashed, see attached

2014-03-23 Thread Yang Chen
Fixed in 9511ebc. Thanks! - Yang On 03/13/2014 01:28 PM, Melanie wrote: h-decl --counter=1 --to-counter=3404

Re: [creduce-bugs] two crashes

2014-04-13 Thread Yang Chen
Hi Marc, On 04/05/2014 04:09 AM, Marc Glisse wrote: Hello, I am using the version that Debian calls 2.2~pre1-2 (should be about March 27th checkout from trunk, using llvm-3.4), and got several crashes and what looked like an infinite loop. Please find attached reproducers for 2 of the crashe

Re: [creduce-bugs] Crash during replace-function-def-with-decl

2014-06-08 Thread Yang Chen
Looks like it has been fixed in llvm-svn-compatible head. Thanks, Markus! - Yang On 09/25/2013 09:08 AM, Markus Trippelsdorf wrote: With remotes/origin/llvm-svn-compatible branch I get: markus@x4 /tmp % /var/tmp/creduce/clang_delta/clang_delta --query-instances=replace-function-def-with-decl

Re: [creduce-bugs] A bug in clang_delta

2014-07-08 Thread Yang Chen
Hi Martin, Thanks for report it! I think it has been fixed in the git, both master and llvm-compatible versions. - Yang On 07/08/2014 12:57 AM, Martin Liška wrote: clang_delta --query-instances=replace-function-def-with-decl

Re: [creduce-bugs] clang-delta segfault in creduce-2.1.0-135-gd74eff6

2014-07-08 Thread Yang Chen
Hi Janne, Fixed in 393255c. Thanks for the bug report! - Yang On 06/30/2014 12:17 AM, Janne Grunau wrote: Hi, while running creduce from github using clang 3.4.2 I encountered a segfault with clang-delta using the attached source file. HTH Janne

Re: [creduce-bugs] can't build

2014-07-17 Thread Yang Chen
What gcc version are you using, 4.8 or 4.9? If you are using gcc 4.8, the problem may relate to libstdc++ incompatibility, e.g., the Clang 3.4.2 binary distro was compiled with gcc 4.9, whose libstdc++ is incompatible with the version shipped with gcc 4.8. For example, here is a similar issu

Re: [creduce-bugs] can't build

2014-07-17 Thread Yang Chen
I don't know... Let's see if we could build with gcc 4.9. - Yang On 07/17/2014 09:17 PM, John Regehr wrote: Did they seriously build the LLVM binaries for Ubuntu 14.04 using libraries incompatible with Ubuntu 14.04? Crazy. John On 07/17/2014 09:57 PM, Yang Chen wrote: What g

Re: [creduce-bugs] can't build

2014-07-18 Thread Yang Chen
OK, I was able to build creduce with gcc 4.9.1 and a latest version of gcc (4.10.0 20140718). - Yang On 07/17/2014 09:44 PM, Yang Chen wrote: I don't know... Let's see if we could build with gcc 4.9. - Yang On 07/17/2014 09:17 PM, John Regehr wrote: Did they seriously buil

Re: [creduce-bugs] can't build

2014-07-18 Thread Yang Chen
Should work now. - Yang On 07/17/2014 10:20 AM, John Regehr wrote: Also, I can't build our llvm-svn-compatible branch using g++ and linking against LLVM 212963 (from a few days ago), see below. Building using clang++ 212963 gives a different error. John g++ -DHAVE_CONFIG_H -I. -I../../cla

Re: [creduce-bugs] can't build

2014-07-18 Thread Yang Chen
On 07/18/2014 12:30 PM, chenyang wrote: On 2014-07-18 11:33, John Regehr wrote: A minor issue in the INSTALL file: I think only 3.4.2 failed (I successfully built creduce with llvm 3.4.1 and 3.4.0 binary. ) Interesting-- can you edit it a bit to say this? Yes. I will double-check when I ge

Re: [creduce-bugs] Stuck in param-to-global/param-to-local pass

2014-09-22 Thread Yang Chen
On 2014-09-22 15:56, John Regehr wrote: Thanks for the test case. We know what causes bugs of this form-- a pass reports that it made progress but it actually didn't. This breaks a C-Reduce invariant. If this happens often, we can put a check for this into the main C-Reduce, but until this I h

Re: [creduce-bugs] Stuck in param-to-global/param-to-local pass

2014-09-22 Thread Yang Chen
On 09/22/2014 07:57 PM, John Regehr wrote: Ok, C-Reduce now detects this condition. The underlying clang_delta bug isn't fixed. Thanks for the test case Markus! I will fix it after the release. I also altered the crash reporting logic for clang delta but did not test it since I don't hav

Re: [creduce-bugs] Stuck in param-to-global/param-to-local pass

2014-09-22 Thread Yang Chen
On 09/22/2014 08:10 PM, Yang Chen wrote: Maybe crash bug caused by stack overflow in Souper? - Yang Or probably you meant clang_delta crashing... - Yang

Re: [creduce-bugs] Bug in move-global-var

2014-09-26 Thread Yang Chen
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

Re: [creduce-bugs] Bug in move-global-var

2014-09-27 Thread Yang Chen
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 t

Re: [creduce-bugs] Stuck in param-to-global/param-to-local pass

2014-09-27 Thread Yang Chen
Fixed. Thanks for reporting it to us, Markus! - Yang On 09/21/2014 11:33 PM, Markus Trippelsdorf wrote: Creduce sometimes gets stuck in the param-to-global/param-to-local passes without making forward progress. See the attached testcase and script. In the script g++ is version 4.9.1 and /var/

Re: [creduce-bugs] clang_delta crashed

2014-10-05 Thread Yang Chen
Fixed. Thanks for report this to us, Bernhard! - Yang On 10/01/2014 09:07 AM, Bernhard Reutner-Fischer wrote: Hi, ... ===< pass_clang_binsrch :: replace-function-def-with-decl >=== ... (29.1 %, 2561056 bytes) sh: 0: getcwd() failed: No such file or directory (29.2 %, 2559207 bytes) ... (29.9

Re: [creduce-bugs] Some creduce bugs

2014-12-21 Thread Yang Chen
Fixed. Thanks for the bug report, Vladimir! - Yang On 12/09/2014 03:28 AM, Vladimir Sukharev wrote: Dear sirs, Trying to use creduce for one of my examples, I face several crashes I’d like to report to you, see attached file. Hope it would be helpful for you to improve the product. Thank

Re: [creduce-bugs] crash --transformation=reduce-pointer-level

2015-01-25 Thread Yang Chen
Hi Dmitry Thanks for reporting this! I've seen similar behavior before. My guess is that we might suffer from the phase-ordering problem. If it doesn't require too much effort, can you send us the reduced test case in your second case and the script that orchestrated the reduction? I will che

Re: [creduce-bugs] crash --transformation=reduce-pointer-level

2015-01-27 Thread Yang Chen
Hi Dmitry, Thank for the detailed steps! On 01/26/2015 03:22 AM, Дмитрий Дьяченко wrote: Hi Yang Very strange/fragile situation. And sounds like I hit some gcc-ICEs during reduction. May be 'instable/sporadic' ICEs (hmmm... what its may be?) interfere with reduction process? Yes, we've seen

Re: [creduce-bugs] CReduce crash

2015-02-16 Thread Yang Chen
Hi Ben, Fixed in the git head. Thanks for reporting the bug! - Yang On 01/27/2015 02:21 PM, Ben Longbons wrote: I got a segfault in near the end of of a creduce run, which generated the attached file. However, the "should reproduce" command at the bottom of that file only produces an error, no

Re: [creduce-bugs] Several bug reports

2015-02-16 Thread Yang Chen
Hi David, On 01/28/2015 02:37 AM, David Abdurachmanov wrote: Hi, I am attaching a tarball with all generated bug reports. Fixed those crashes. Thanks for reporting the bugs! Two things which are interesting: - Why C-Reduce did not attempt to remove arguments? - Why it did not remove one of

Re: [creduce-bugs] A bug in C-Reduce

2015-02-16 Thread Yang Chen
Hi Roberto, Fixed. Thanks for the bug report! - Yang On 02/05/2015 09:51 PM, Roberto Bagnara wrote: Dear Sirs, this happened with creduce as after commit bd8882ccaac82031622395d79afaf562925a6933 === OOPS: clang_delta::template-non-type-arg-to-int has

Re: [creduce-bugs] clang_delta::reduce-pointer-level crashes

2015-02-16 Thread Yang Chen
Hi Eric, Fixed. Thanks for sending us bug report! - Yang On 02/12/2015 12:58 PM, Eric Bavier wrote: Greetings creduce devs, I was greeted by some crash messages while reducing a compiler abort test this morning. Your tool was helpful enough to generate some bug-reports for me, so I am forw

Re: [creduce-bugs] clang delta crash

2015-03-26 Thread Yang Chen
Hi Jeff, Thanks for the bug report! I couldn't reproduce the crash with the git head, both master and llvm-svn-compatible branches. What version did you use? If it's an older version, the crash might get fixed in the head. Thanks! - Yang On 03/20/2015 12:03 PM, Jeff Muizelaar wrote: I ran

Re: [creduce-bugs] clang delta crash

2015-03-26 Thread Yang Chen
On 03/26/2015 07:09 AM, Eric Eide wrote: Yang: Jeff mentioned his C-Reduce version in his email: commit 172b007, which is circa June 2014. It is several commits back from the C-Reduce 2.2.0 release. I overlooked it. Thanks, Eric! - Yang

Re: [creduce-bugs] creduce expanding file instead of reducing

2015-04-19 Thread Yang Chen
Hi Matthias, Thanks for reporting the issue. I couldn't reproduce the GCC failure on my machine running Ubuntu 14.04 (detailed below). Looks like the crash was specific to powerpc64le-linux-gnu, which I don't have access to. Do you happen to know which C-Reduce transformation caused the code

Re: [creduce-bugs] creduce expanding file instead of reducing

2015-04-20 Thread Yang Chen
On 2015-04-20 08:53, Matthias Klose wrote: On 04/20/2015 05:27 AM, Yang Chen wrote: Hi Matthias, Thanks for reporting the issue. I couldn't reproduce the GCC failure on my machine running Ubuntu 14.04 (detailed below). Looks like the crash was specific to powerpc64le-linux-gnu, wh

Re: [creduce-bugs] Segmentation fault clang_delta

2015-05-25 Thread Yang Chen
Hi Moritz, On 05/21/2015 09:56 AM, Pflanzer, Moritz wrote: Hello, I found that clang_delta seems to produce a segmentation fault if the file that should be reduced contains a #define preprocessor directive for a type. To produce the error this small program is enough: #define my_type int my_

Re: [creduce-bugs] Fix for bug in UnionToStruct

2015-08-23 Thread Yang Chen
Hi Johan, Sorry for the late reply. Committed in 085633 with minor tweaks. Thanks for the patch! - Yang On 08/12/2015 08:06 AM, Johan Bengtsson wrote: Hi, I manage to trigger a bug in UnionToStruct. If a union variable was initialized by copying another varable of the same type, as in the a

Re: [creduce-bugs] [PATCH] Updates to cmake configuration.

2015-08-23 Thread Yang Chen
Hi Johan, Committed in e8c56ac. Again, thanks for sending us the patch! - Yang On 08/12/2015 08:13 AM, Johan Bengtsson wrote: Hi, I have made some small changes to the cmake configuration. The first patch makes the cmake configuration work on linux and the second enable assertions in the deb

Re: [creduce-bugs] clang_delta::simplify-callexpr crashes

2015-09-19 Thread Yang Chen
Hi ismail, Fixed in 813e75d. Thanks for reporting this to us! - Yang On 09/15/2015 06:04 AM, İsmail Dönmez wrote: This is with creduce git master & llvm svn r247548. File attached.

Re: [creduce-bugs] clang_delta::callexpr-to-value crash

2015-09-19 Thread Yang Chen
The same issue as the previous one. Fixed in 813e75d. Thanks, ismail! - Yang On 09/15/2015 02:37 AM, İsmail Dönmez wrote: Hi, Using creduce 2.3.0 on Linux x86-64 with LLVM 3.6. Files are attached. Regards, ismail

Re: [creduce-bugs] creduce bugs

2015-10-18 Thread Yang Chen
Hi Ryan, Thanks for reporting the issue. I couldn't repro the crash with the git-head version. Which version did you use? Here is what I got: $ ./test_transformation -transformation=template-non-type-arg-to-int crashes/creduce_bug_172279.cc Testing template-non-type-arg-to-int on crashes/

Re: [creduce-bugs] creduce bug: clang_delta::remove-unused-var has crashed

2015-10-25 Thread Yang Chen
Fixed in 83a8ffe. Thanks for reporting the issue, Ryan! - Yang On 10/19/2015 02:20 AM, Ryan Burn wrote: This is the full text: OOPS: clang_delta::remove-unused-var has crashed, which means you have encountered a bug in C-Reduce. Please consider mailing /home/rnburn/bugs/intel_init_list/red

Re: [creduce-bugs] OOPS: clang_delta crashed

2015-10-25 Thread Yang Chen
Hi Jonas, Thanks for reporting the bug. I can't repro the crash with the Git head. Perhaps it has been fixed by the recent commit 6b71ee2, where we made clang_delta rewrite only the main source file. - Yang On 10/20/2015 06:06 AM, Jonas H. wrote: creduce 2.4.0

Re: [creduce-bugs] template-non-type-arg-to-int failed to modify testcase

2015-11-08 Thread Yang Chen
Fixed in c3129e9. Thanks, Markus! - Yang On 11/05/2015 07:51 AM, Markus Trippelsdorf wrote: With current Creduce trunk I get: ... ===< pass_clang :: template-non-type-arg-to-int >=== (15.4 %, 36484 bytes) === OOPS: pass_clang::template-non-type-arg-to-int

Re: [creduce-bugs] clang-delta bug

2015-12-06 Thread Yang Chen
On 12/03/2015 08:47 AM, John Regehr wrote: This invocation appears to simply make __ISwalnum one character larger: clang_delta --transformation=remove-unused-enum-member --counter=1 wctype.h You have to run it in the directory untarred from here: http://www.cs.utah.edu/~regehr/reduce.tar.gz

Re: [creduce-bugs] CReduce Bug Reports

2016-01-02 Thread Yang Chen
Hi Andrew, All fixed. Thanks for reporting these issues to us! - Yang On 12/10/2015 07:25 AM, Andrew Burgess wrote: The attached tar file contains a number of bug reports gathered from various runs of creduce, there's probably a few duplicates in there, but hopefully these should be helpful t

Re: [creduce-bugs] creduce Bug Reports

2016-01-07 Thread Yang Chen
Hi Michael, Thanks for reporting the issues! I can't reproduce the crashes with the Git head on either Linux or Mac. Perhaps they have been fixed in between the version that you used and the current head version. - Yang On 01/03/2016 12:25 PM, Michael Schwarz wrote: Hi As requested by cre

Re: [creduce-bugs] creduce bugs in 2.4.0 on i686-linux-gnu

2016-01-13 Thread Yang Chen
On 2016-01-12 09:07, Matthias Klose wrote: please find attached some bug files found with 2.4.0 on i686-linux-gnu. Matthias Fixed. Thanks, Matthias! - Yang

Re: [creduce-bugs] A few LLVM assertion failures

2016-01-24 Thread Yang Chen
Fixed. Thanks, Markus! - Yang On 2016-01-24 02:45, Markus Trippelsdorf wrote: The tarball contains a number bugs where creduce hits LLVM assertion failures. I'm running latest creduce and LLVM trunk. Thanks in advance.

Re: [creduce-bugs] creduce bug reports

2016-01-29 Thread Yang Chen
Fixed. Thanks, Qirun! - Yang On 2016-01-27 19:39, Qirun Zhang wrote: Hello, Please check the code. $ /usr/local/libexec/clang_delta --transformation=rename-var --counter=1 abc.c  Segmentation fault (core dumped) $ cat abc.c typedef struct gx_device_procs_s gx_device_procs; struct gx_device_p

Re: [creduce-bugs] Assertion `Offset+NumBytes <= size() && "Invalid region to erase!"' failed.

2016-02-01 Thread Yang Chen
Fixed. Thanks, Markus! - Yang On 2016-01-31 01:44, Markus Trippelsdorf wrote: % "/home/markus/creduce/creduce/../clang_delta/clang_delta" --transformation=remove-nested-function --counter=10 array.ii clang_delta: /home/markus/llvm/tools/clang/include/clang/Rewrite/Core/RewriteRope.h:203: void

Re: [creduce-bugs] a few more crashes

2016-02-02 Thread Yang Chen
Fixed. Thanks, John! - Yang On 2016-02-02 13:00, John Regehr wrote: Thanks for the hard work Yang! Here are just a few more. John

Re: [creduce-bugs] a few more crashes

2016-02-03 Thread Yang Chen
On 2016-02-03 07:30, Eric Eide wrote: Yang Chen writes: Fixed. Thanks, John! I noticed that the commit message for this fix said "skip functions included from header files." How does that work with mutli-file reductions? Sorry for the ambiguity here. The commit message me

Re: [creduce-bugs] Segfault in RemoveNamespace::handleOneUsingDirectiveDecl

2016-02-12 Thread Yang Chen
Both issues have been fixed. Thanks, Markus! - Yang On 2016-02-08 00:15, Markus Trippelsdorf wrote: Hi, markus@x4 creduce_bug_002 % cat cra.ii namespace streflop { template struct SoftFloatWrapper { operator long double() const; }; namespace SoftFloat { typedef struct { long long low; i

Re: [creduce-bugs] It segfaulted.

2016-02-20 Thread Yang Chen
Fixed. Thanks for the bug report, Chris! - Yang On 2016-02-16 22:54, Chris Kitching wrote: Managed to break clang_delta. Here's the crash-reproducing madness. Enjoy. With creduce 2.4.0. ... Hopefully it's still maintained... 'tis a good project.

Re: [creduce-bugs] [Chris Kitching] Re: It segfaulted.

2016-02-20 Thread Yang Chen
Looks like these crashes have been fixed in the Git head. Thanks! - Yang On 2016-02-18 07:27, Eric Eide wrote: More segfault examples.

Re: [creduce-bugs] template-non-type-arg-to-int counts to infinity

2016-02-29 Thread Yang Chen
Fixed. Thanks, Markus! - Yang On 2016-02-25 07:12, Markus Trippelsdorf wrote: On 2016.02.25 at 16:08 +0100, Markus Trippelsdorf wrote: markus@x4 tmp % ~/creduce/creduce/creduce --no-default-passes --add-pass pass_clang "template-non-type-arg-to-int" 1 ./check.sh registry.ii

Re: [creduce-bugs] clang-delta crash report

2016-03-19 Thread Yang Chen
Hi Micah, Thanks for the bug report! I can't reproduce the crash with the master branch. Perhaps it was fixed after C-Reduce 2.4 release. - Yang On 2016-03-15 08:41, Micah Villmow wrote: To creduce developers. Thanks for creating a great tool! Here is a bug report. This is with clang 3.8,

Re: [creduce-bugs] bugs in clang_delta

2016-04-15 Thread Yang Chen
Hi Fabio, Thanks for the bug report! On 2016-04-15 02:08, Fabio Pagani wrote: Hello list, I found some bugs in clang_delta. All the crashes are from the same file, the two different directory inside the tar.gz are related to two different runs of creduce (a/ folder w/o parameters and b/ folder

Re: [creduce-bugs] Eight failures

2016-04-22 Thread Yang Chen
Fixed. Thanks for reporting the bug, Ugur! - Yang On 2016-04-20 08:50, Ugur Koc wrote: Hello, Here I attach eight directories in one tar. Ugur

Re: [creduce-bugs] Bug report

2016-05-07 Thread Yang Chen
Fixed. Thanks, Anton! - Yang On 2016-05-02 04:21, Mitrokhin, Anton wrote: If you find yourself in need of any additional information, please do not hesitate to write back! -- Sincerely, Anton Mitrokhin MIPT, Russia 8 (925) 310-32-28

Re: [creduce-bugs] creduce 2.5.0 bug in pass_clang::template-non-type-arg-to-int

2016-05-21 Thread Yang Chen
Fixed. Thanks, Tavian! - Yang On 2016-05-16 09:19, Tavian Barnes wrote: Hello, I saw a spew while running creduce 2.5.0 that told me to tar this up and email it to you, so here you go!

Re: [creduce-bugs] a bug - in v2.3.0

2016-05-26 Thread Yang Chen
Hi Horacio, Thanks for the report! On 05/26/2016 02:17 AM, H. Mijail wrote: While running the reduction, I got a message: OOPS: pass_indent::regular failed to modify the test case, which means you have encountered a bug in C-Reduce. I recall that John fixed a similar issue a while ago. (Sp

Re: [creduce-bugs] a bug - in v2.3.0

2016-05-27 Thread Yang Chen
On 2016-05-26 23:16, John Regehr wrote: Actually it might be useful for us to teach C-Reduce not to emit these messages if the C-Reduce release is more than 6 months old (and therefore not the latest release). What do you think Yang and Eric? Yes, this approach sounds good to me. - Yang

Re: [creduce-bugs] crash 4/4

2016-06-22 Thread Yang Chen
Fixed all of these four crash bugs. Thanks. - Yang On 2016-06-22 00:34, John Regehr wrote: $ "/home/regehr/creduce-install/libexec/clang_delta" --transformation=template-non-type-arg-to-int --counter=1 small.cpp Segmentation fault

Re: [creduce-bugs] crash 2/2

2016-07-01 Thread Yang Chen
Fixed both issues. Thanks. - Yang On 2016-06-29 05:34, John Regehr wrote: $ "/home/regehr/creduce-install/libexec/clang_delta" --transformation=template-arg-to-int --counter=1 small.cpp Segmentation fault

Re: [creduce-bugs] creduce bug with template-non-type-arg-to-int

2016-07-10 Thread Yang Chen
Hi Matthias, Thanks for reporting the issue! I can't reproduce the failure with the Git head. I think the issue has been fixed recently. - Yang On 07/09/2016 02:21 PM, Matthias Gehre wrote: Hi, I got the following message while using (the very helpful) creduce: pass_clang::template-non-ty

Re: [creduce-bugs] Couple of crash reports

2016-08-11 Thread Yang Chen
Hi Martin, Thanks for the bug report! (1) crashes triggered by tc.ii tc.ii actually crashed Clang (I am using Clang 3.8), e.g., $ ~/work/compilers/compiler-install/llvm-3.8-debug/bin/clang -c tc.ii ... clang-3.8: ../tools/clang/lib/Sema/SemaExpr.cpp:2632: clang::ExprResult clang::Sema::Perfor

Re: [creduce-bugs] Couple of crash reports

2016-08-12 Thread Yang Chen
Forgot to actually mail Martin. Again, thanks, Martin! - Yang On 2016-08-11 22:13, Yang Chen wrote: Hi Martin, Thanks for the bug report! (1) crashes triggered by tc.ii tc.ii actually crashed Clang (I am using Clang 3.8), e.g., $ ~/work/compilers/compiler-install/llvm-3.8-debug/bin/clang

Re: [creduce-bugs] creduce 2.5.0: Assertion `RWBuf && "Empty RewriteBuffer!"' failed in in pass_clang::rename-param

2016-08-15 Thread Yang Chen
Fixed in the Git head. Thanks for the bug report, Arseny! - Yang On 08/15/2016 01:11 AM, Arseny Solokha wrote: Hello, creduce 2.5.0 (18e04be) on x86_64 fails in pass_clang::rename-param transformation w/ the attached input: % /usr/libexec/clang_delta --transformation=rename-param --counter=1

Re: [creduce-bugs] creduce bugs

2016-12-29 Thread Yang Chen
Hi Charles, Fixed. Thanks for the report! - Yang On 2016-12-23 07:39, Charles Frasch wrote: Thanks. I am simply stunned by this tool. Charles Frasch Thesys Technologies

Re: [creduce-bugs] Assertion in clang delta rope manipulation

2017-01-14 Thread Yang Chen
Fixed. Thanks for the report, Reid! - Yang On 01/09/2017 05:25 PM, Reid Kleckner wrote: I'm getting this: clang_delta: ../tools/clang/lib/Rewrite/RewriteRope.cpp:379: void {anonymous}::RopePieceBTreeLeaf::erase(unsigned int, unsigned int): Assertion `getPiece(StartPiece).size() > NumBytes' fa

Re: [creduce-bugs] Assertion in clang delta rope manipulation

2017-01-14 Thread Yang Chen
On 01/14/2017 07:51 AM, Eric Eide wrote: Yang Chen writes: Fixed. Thanks for the report, Reid! Yang, you should to send your reply to Reid directly. People send bugs to creduce-bugs but are not subscribed to that list. Eric. You mentioned this once a while ago, but I totally forgot

Re: [creduce-bugs] Assertion in clang delta rope manipulation

2017-01-14 Thread Yang Chen
Hi Reid, Fixed. Thanks for reporting the issue! - Yang On 01/09/2017 05:25 PM, Reid Kleckner wrote: I'm getting this: clang_delta: ../tools/clang/lib/Rewrite/RewriteRope.cpp:379: void {anonymous}::RopePieceBTreeLeaf::erase(unsigned int, unsigned int): Assertion `getPiece(StartPiece).size() >

Re: [creduce-bugs] creduce crashes

2017-03-09 Thread Yang Chen
Hi Dmitry, Fixed. Thanks for reporting the bug! - Yang On 03/07/2017 09:11 AM, Dmitry Vyukov wrote: Hello, Following the instructions that I've got: sh: line 1: 42411 Segmentation fault (core dumped) /usr/lib/creduce/clang_delta --transformation=union-to-struct --counter=1 /tmp/reduced.

Re: [creduce-bugs] pass_clang::simplify-if bug on creduce 2.6.0 (b02c375)

2017-03-17 Thread Yang Chen
Hi Dmitry, Fixed. Thanks for reporting the bug! - Yang On 03/16/2017 04:18 PM, Dmitry Babokin wrote: Hello, The bug report is attached. I see a bunch of such bugs. Creduce was built from sources. Dmitry.

Re: [creduce-bugs] CReduce bugs

2017-03-25 Thread Yang Chen
Hi Deniz, Thanks for reporting the issue. John, seems the issues are in pass_peep and pass_clex. You may want to take a look if you have time. Thanks. - Yang On 03/25/2017 04:52 AM, Deniz Bahadir wrote: Hi there, while trying to use CReduce to reduce a test-case for a GCC internal compile

Re: [creduce-bugs] creduce PASS_BUG_INFO, C++ issues

2017-03-30 Thread Yang Chen
Hi Roman, Thanks for the report and the example! The issue in rename-cxx-method has been fixed recently. Other issues happened in pass_clex. I am leaving it to John (cc'ed). - Yang On 03/29/2017 05:51 AM, Roman Lebedev wrote: Hi. I'm not subscibed, so please do keep me in CC/TO. I was redu

Re: [creduce-bugs] crashed: "clang_delta" --transformation=reduce-class-template-param --counter=12

2017-04-18 Thread Yang Chen
Hi Nicolas, Thanks for reporting the bug. I think the issue has been fixed in the Git head. - Yang On 04/18/2017 02:19 AM, Nicolas Thery wrote: Hello, Thanks for creduce that is very useful. FWIW I hit the attached bug when reducing some C++11 code. Best regards, Nicolas

Re: [creduce-bugs] pass_clang::rename-cxx-method has encountered a bug: pass failed to modify the variant

2017-04-18 Thread Yang Chen
Hi Nicolas, This is a known issue which we fixed recently. Again, thanks for the report! - Yang On 04/18/2017 02:25 AM, Nicolas Thery wrote: Hello again, Another run on a different source file triggered another bug. Best regards,

  1   2   >