Possible compiler bug in compiling code for MIC (XE SP1 Update3)

Aniket_P_1 — Tue, 01 Jul 2014 10:15:06 GMT

Hi,

I had logged a similar query here https://software.intel.com/en-us/forums/topic/517612

With reference to the code below, it looks like a possible compiler bug in compile code for intel MIC architecture.

with intel composer xe 2013 sp1 update 3 (trial)

Compile command : icpc -mmic -std=c++11 -I/home/aniketnp/boost_with intel composer xe 2013 sp1 update 3 (trial) 1_55_0 test.cpp

#include <iostream>
#include <boost/bind.hpp>

using namespace std;

struct Info_t {
 int start;
 int end;
 Info_t(int s=0,int e=0) : start(s), end(e) {  }
};


template<typename Time>
struct my_functor {
 public:
  my_functor() {  }
  my_functor(Time&  time_) : time(time_) {   }

 typedef void result_type;

 template<typename info_t>
 void operator()(const info_t& info1, const info_t& info2) const {
   if ((info2.start < info2.end) && (info2.end > info1.end) ) {
      if ( info1.end < info2.start)   //NOTE THIS LINE " < " 
       std::cout << " hi " << std::endl;
   }
 }

 private:
  Time&  time;
};

int main() {
Info_t  i1(10,2);
Info_t  i2(2,10);
int t = 1;
//auto func = boost::bind( my_functor<int>(t), _1, _2 );
auto func = std::bind( my_functor<int>(t), std::placeholders::_1, std::placeholders::_2 );
func(i1,i2);
return 0;
}

Gives the error as

test.cpp(24): error: expression must have a constant value
        if ( info1.end < info2.start)
                         ^
          detected during:
            instantiation of "_Result std::_Bind<_Functor (_Bound_args...)>::__call<_Result,_Args...,_Indexes...>(std::tuple<_Args...> &&, std::_Index_tuple<_Indexes...>) [with _Functor=my_functor<int>, _Bound_args=<std::_Placeholder<1>, std::_Placeholder<2>>, _Result=void, _Args=<Info_t &, Info_t &>, _Indexes=<0, 1>]" at line 1205 of "/usr/linux-k1om-4.7/linux-k1om/../x86_64-k1om-linux/include/c++/4.7.0/functional"
            instantiation of "_Result std::_Bind<_Functor (_Bound_args...)>::operator()(_Args &&...) [with _Functor=my_functor<int>, _Bound_args=<std::_Placeholder<1>, std::_Placeholder<2>>, _Args=<Info_t &, Info_t &>, _Result=void]" at line 39

test.cpp(24): error: this operator is not allowed in a template argument expression
        if ( info1.end < info2.start)
                              ^
          detected during:
            instantiation of "_Result std::_Bind<_Functor (_Bound_args...)>::__call<_Result,_Args...,_Indexes...>(std::tuple<_Args...> &&, std::_Index_tuple<_Indexes...>) [with _Functor=my_functor<int>, _Bound_args=<std::_Placeholder<1>, std::_Placeholder<2>>, _Result=void, _Args=<Info_t &, Info_t &>, _Indexes=<0, 1>]" at line 1205 of "/usr/linux-k1om-4.7/linux-k1om/../x86_64-k1om-linux/include/c++/4.7.0/functional"
            instantiation of "_Result std::_Bind<_Functor (_Bound_args...)>::operator()(_Args &&...) [with _Functor=my_functor<int>, _Bound_args=<std::_Placeholder<1>, std::_Placeholder<2>>, _Args=<Info_t &, Info_t &>, _Result=void]" at line 39

test.cpp(24): error: expected a ">"
        if ( info1.end < info2.start)
                                    ^
          detected during:
            instantiation of "_Result std::_Bind<_Functor (_Bound_args...)>::__call<_Result,_Args...,_Indexes...>(std::tuple<_Args...> &&, std::_Index_tuple<_Indexes...>) [with _Functor=my_functor<int>, _Bound_args=<std::_Placeholder<1>, std::_Placeholder<2>>, _Result=void, _Args=<Info_t &, Info_t &>, _Indexes=<0, 1>]" at line 1205 of "/usr/linux-k1om-4.7/linux-k1om/../x86_64-k1om-linux/include/c++/4.7.0/functional"
            instantiation of "_Result std::_Bind<_Functor (_Bound_args...)>::operator()(_Args &&...) [with _Functor=my_functor<int>, _Bound_args=<std::_Placeholder<1>, std::_Placeholder<2>>, _Args=<Info_t &, Info_t &>, _Result=void]" at line 39

compilation aborted for test.cpp (code 2)

POSSIBLE REASON:

Compiler interprets this as a member template, because of which it gives expected " > "

Now if I change the code to this :

if ( info1.end > info2.start)    // NOTE THE " > " SIGN

There is no error in compiling. IT works fine.

Is this a possible bug for compiling with -mmic flag ? If I compile without -mmic flag, the compilation does not give any error.

Kindly confirm. Thanks.

Thank you for the additional

Kevin_D_Intel — Tue, 01 Jul 2014 10:53:05 GMT

Thank you for the additional details. This is a variant of the error reported earlier with the 13.0 compiler here (https://software.intel.com/en-us/forums/topic/517612) so I will post any further information from Development in the earlier cited posting.

topic Possible compiler bug in compiling code for MIC (XE SP1 Update3) in Software Archive

Possible compiler bug in compiling code for MIC (XE SP1 Update3)

Thank you for the additional