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

[John Regehr <regehr@cs.utah.edu>]

Ok done, sorry about that.

Also you can see less of this sort of output using this option:

  --shaddap

John



On 11/5/15 4:51 PM, 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 failed to
> modify the test case, which means you have
> encountered a bug in C-Reduce. Please consider
> mailing /var/tmp/creduce_bug_378116 to
> creduce-bugs@flux.utah.edu and we will try to fix
> the bug. Please also let us know what version of
> C-Reduce you are using and include any other
> details that may help us reproduce the problem.
>
> =======================================
>
> Died at /home/markus/creduce/creduce/creduce line 530.
>
> (Creduce should keep running here.)
>
> markus@x4 clang_delta % ./test_transformation -keep -transformation=template-non-type-arg-to-int /tmp/creduce_bug.ii
> ...
> Transformation results:
>    transformation[template-non-type-arg-to-int]: All instances suceeded!
>
> markus@x4 clang_delta % cd working_dir/template-non-type-arg-to-int_1/ && md5sum * | sort -u
> 02fe073048b41674b746a6eab951ea59  template-non-type-arg-to-int_47.ii
> 178f5de179836defa805e2439235eff9  template-non-type-arg-to-int_46.ii
> 1bbaa5d3ef65f0e7a1cdd75ce4dca4f7  template-non-type-arg-to-int_19.ii
> 21162d3bcf6ad298d093a249278e7fc6  template-non-type-arg-to-int_8.ii
> 219407d25f53642297674c299fdc02bc  template-non-type-arg-to-int_1.ii
> 24cf5f13fc10b252f6de08ec3b435663  template-non-type-arg-to-int_43.ii
> 41a2dd09d9d65bfb47a685ac3eea5929  template-non-type-arg-to-int_5.ii
> 4c55f0d65cd288d58dea9c2db289ea56  template-non-type-arg-to-int_39.ii
> 5030fe046195e4b2384babc4a4c5dae5  template-non-type-arg-to-int_9.ii
> 51163c456ca07ceb4b2485fb8a852ad1  template-non-type-arg-to-int_41.ii
> 53dc431dd658bd47bea1ee5fb0f6e52d  template-non-type-arg-to-int_33.ii
> 58421bbf037776037dfde824daab4d62  template-non-type-arg-to-int_42.ii
> 5e9700586ecd759f2197d3a91c8d2d28  template-non-type-arg-to-int_15.ii
> 66c5c76d5bf640f944712cb4c5a07ca6  template-non-type-arg-to-int_38.ii
> 6b41fe9ddc70251f448fef4ccbef8b2f  template-non-type-arg-to-int_0.ii
> 6b41fe9ddc70251f448fef4ccbef8b2f  template-non-type-arg-to-int_23.ii
> 6b41fe9ddc70251f448fef4ccbef8b2f  template-non-type-arg-to-int_24.ii
> 6b41fe9ddc70251f448fef4ccbef8b2f  template-non-type-arg-to-int_3.ii
> 6b41fe9ddc70251f448fef4ccbef8b2f  template-non-type-arg-to-int_40.ii
> 6d91989a2d9ca0ee24d3fc4b2df391ec  template-non-type-arg-to-int_4.ii
> 7d3b808ae517f49703a988c4793c6c74  template-non-type-arg-to-int_10.ii
> 80b1a59de167e854daed3a92c6a02666  template-non-type-arg-to-int_35.ii
> 855d2d40813d437082e843c2566bff53  template-non-type-arg-to-int_32.ii
> 8ca66a1edbe4c3ecac5bb72ad4935857  template-non-type-arg-to-int_27.ii
> 8d9972704f0c2c19c8d30776f1b93f2d  template-non-type-arg-to-int_2.ii
> 9e7f57009ca0ceb1fb407121885c91d9  template-non-type-arg-to-int_37.ii
> a162c88b1282a91c0a8adb9eca46c6d7  template-non-type-arg-to-int_36.ii
> af9a15ececda35e1c5e24e8e75a9f819  template-non-type-arg-to-int_16.ii
> b474859967ef3a8e4590f061578d508e  template-non-type-arg-to-int_31.ii
> b5894928e73af93797a70a8bbeb7ed27  template-non-type-arg-to-int_34.ii
> b6549e421d073cd5fd50f65f03ab5cf6  template-non-type-arg-to-int_13.ii
> bb7d2c4f14a13eb9f6dbf5649c41f8ae  template-non-type-arg-to-int_29.ii
> c1e4f9648314bfcba340ae9ce27f51ce  template-non-type-arg-to-int_30.ii
> c2e1814cb11e48055adbc5a4680daf84  template-non-type-arg-to-int_45.ii
> c4b333c02f01e5654b565455cf635ce5  template-non-type-arg-to-int_18.ii
> c953e6ddaf40ffcb1fc84e7656d8f1bc  template-non-type-arg-to-int_28.ii
> cbdd6a21d9d0d248154cc28cb01422dd  template-non-type-arg-to-int_22.ii
> d5fa166d3a99576a03431a324628b909  template-non-type-arg-to-int_20.ii
> d7cc7dea0b8ded23d95915d05b94af84  template-non-type-arg-to-int_12.ii
> e249fe63f8f8988ae77cd4313d9b4c54  template-non-type-arg-to-int_6.ii
> e34b021cfc1ae59c2094b3dd360e5502  template-non-type-arg-to-int_26.ii
> e618c6d9e64c211a46588e2562c2c805  template-non-type-arg-to-int_21.ii
> ef1e97cca36a80add883100aa9554544  template-non-type-arg-to-int_25.ii
> efc5d956d8dab73b2a207185483fae6c  template-non-type-arg-to-int_7.ii
> eff54e291b1dae3054920c938c3410cf  template-non-type-arg-to-int_11.ii
> f085a1893c6f11259a03ef38610a1a40  template-non-type-arg-to-int_44.ii
> f0bdf22f9cde1192194abe4af1deccab  template-non-type-arg-to-int_17.ii
> fb0dc7e5d2aa6f6a0668eaf5ee8ff3b2  template-non-type-arg-to-int_48.ii
> fbca1a3d7e5f5e75e12ed69be04dccd8  template-non-type-arg-to-int_14.ii
>
> The testcase is attached.