daily pastebin goal
28%
SHARE
TWEET

Creduce bug

a guest Jan 23rd, 2018 327 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. /*
  2. Commandline:
  3. creduce --no-default-passes --add-pass pass_clang template-non-type-arg-to-int 10  `which true` file2.ii
  4.  
  5. Output:
  6.  
  7. creduce 2.5.0
  8. 18e04be
  9. Linux
  10. Workstation
  11. 4.8.0-36-generic
  12. #36~16.04.1-Ubuntu SMP Sun Feb 5 09:39:57 UTC 2017
  13. x86_64
  14.  
  15. ***************************************************
  16.  
  17. pass_clang::template-non-type-arg-to-int has encountered a bug:
  18. pass failed to modify the variant
  19.  
  20. Please consider tarring up .../Workspace_creduce/creduce_bug_001
  21. and mailing it to creduce-bugs@flux.utah.edu and we will try to fix
  22. the bug.
  23.  
  24. This bug is not fatal, C-Reduce will continue to execute.
  25.  
  26. ***************************************************
  27.  */
  28.  
  29. template <bool>
  30. struct enable_if;
  31. template <class _Tp, int __v>
  32. struct integral_constant {
  33.   static const int value  ;
  34. };
  35. struct is_abstract
  36.     : integral_constant<bool, __is_abstract(int)> {};
  37. struct is_convertible
  38.     : integral_constant<bool, __is_convertible_to(int, int) > {};
  39. template <class _Tp, class... _Args>
  40. struct is_constructible
  41.     : integral_constant<bool, __is_constructible(_Tp, _Args...)> {};
  42. template <class , class _T2>
  43. struct pair {
  44.   typedef _T2 second_type;
  45.   _T2 second;
  46.   template <bool _Val> using _EnableB = typename enable_if<_Val>::type;
  47.   struct _CheckArgs {
  48.     template <class , class _U2> constexpr bool __enable_implicit() {
  49.       return is_constructible<second_type, _U2>::value;
  50.     }
  51.   };
  52.   template <class _U1, class _U2,
  53.             _EnableB<_CheckArgs::template __enable_implicit<
  54.                 _U1 , _U2 &>()> = false>
  55.   pair(pair<_U1, _U2> ) ;
  56. };
  57.  
  58. namespace ADT {
  59. class FS {
  60. public:
  61.   virtual ~FS();
  62.   virtual double gethighA() const ;
  63.   virtual double getlowA() const ;
  64. };
  65. }
  66. namespace ADTImpl {
  67. class FS : public ADT::FS {
  68. double _highA;
  69.   double _lowA;
  70.   double gethighA() const;
  71.   double getlowA() const;
  72. };
  73.  
  74. union __value_type {
  75.   pair<int, FS> __cc;
  76. };
  77.  
  78. }
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top