Errors when compiling symdiff
/home/tcad/devsim/external/symdiff/src/engine/SubExpr.cc: In member function ‘void SubExpr::scanSubexpression(Eqo::EqObjPtr&)’:
/home/tcad/devsim/external/symdiff/src/engine/SubExpr.cc:86:51: error: no matching function for call to ‘std::mapstd::basic_string<char, SubExprData>::insert(std::pairstd::basic_string<char, std::shared_ptrEqo::EquationObject >)’
/home/tcad/devsim/external/symdiff/src/engine/SubExpr.cc:86:51: note: candidates are:
In file included from /usr/include/c++/4.7/map:61:0,
from /home/tcad/devsim/external/symdiff/src/engine/SubExpr.hh:23,
from /home/tcad/devsim/external/symdiff/src/engine/SubExpr.cc:17:
/usr/include/c++/4.7/bits/stl_map.h:522:7: note: std::pair<typename std::_Rb_tree<_Key, std::pair<const _Key, _Tp>, std::_Select1st<std::pair<const _Key, _Tp> >, _Compare, typename _Alloc::rebind<std::map<_Key, _Tp, _Compare, _Alloc>::value_type>::other>::iterator, bool> std::map<_Key, _Tp, _Compare, _Alloc>::insert(const value_type&) [with _Key = std::basic_string; _Tp = SubExprData; _Compare = std::lessstd::basic_string; _Alloc = std::allocator<std::pair<const std::basic_string, SubExprData> >; typename std::_Rb_tree<_Key, std::pair<const _Key, _Tp>, std::_Select1st<std::pair<const _Key, _Tp> >, _Compare, typename _Alloc::rebind<std::map<_Key, _Tp, _Compare, _Alloc>::value_type>::other>::iterator = std::_Rb_tree_iterator<std::pair<const std::basic_string, SubExprData> >; std::map<_Key, _Tp, _Compare, _Alloc>::value_type = std::pair<const std::basic_string, SubExprData>]
/usr/include/c++/4.7/bits/stl_map.h:522:7: note: no known conversion for argument 1 from ‘std::pairstd::basic_string<char, std::shared_ptrEqo::EquationObject >’ to ‘const value_type& {aka const std::pair<const std::basic_string, SubExprData>&}’
/usr/include/c++/4.7/bits/stl_map.h:530:9: note: template<class _Pair, class> std::pair<typename std::_Rb_tree<_Key, std::pair<const _Key, _Tp>, std::_Select1st<std::pair<const _Key, _Tp> >, _Compare, typename _Alloc::rebind<std::map<_Key, _Tp, _Compare, _Alloc>::value_type>::other>::iterator, bool> std::map::insert(_Pair&&) [with _Pair = _Pair; = ; _Key = std::basic_string; _Tp = SubExprData; _Compare = std::lessstd::basic_string; _Alloc = std::allocator<std::pair<const std::basic_string, SubExprData> >]
/usr/include/c++/4.7/bits/stl_map.h:530:9: note: template argument deduction/substitution failed:
/usr/include/c++/4.7/bits/stl_map.h:526:32: error: no type named ‘type’ in ‘struct std::enable_if<false, void>’
/usr/include/c++/4.7/bits/stl_map.h:543:7: note: void std::map<_Key, _Tp, _Compare, _Alloc>::insert(std::initializer_list<std::pair<const _Key, _Tp> >) [with _Key = std::basic_string; _Tp = SubExprData; _Compare = std::lessstd::basic_string; _Alloc = std::allocator<std::pair<const std::basic_string, SubExprData> >]
/usr/include/c++/4.7/bits/stl_map.h:543:7: note: no known conversion for argument 1 from ‘std::pairstd::basic_string<char, std::shared_ptrEqo::EquationObject >’ to ‘std::initializer_list<std::pair<const std::basic_string, SubExprData> >’
/usr/include/c++/4.7/bits/stl_map.h:572:7: note: std::map<_Key, _Tp, _Compare, _Alloc>::iterator std::map<_Key, _Tp, _Compare, _Alloc>::insert(std::map<_Key, _Tp, _Compare, _Alloc>::const_iterator, const value_type&) [with _Key = std::basic_string; _Tp = SubExprData; _Compare = std::lessstd::basic_string; _Alloc = std::allocator<std::pair<const std::basic_string, SubExprData> >; std::map<_Key, _Tp, _Compare, _Alloc>::iterator = std::_Rb_tree_iterator<std::pair<const std::basic_string, SubExprData> >; std::map<_Key, _Tp, _Compare, _Alloc>::const_iterator = std::_Rb_tree_const_iterator<std::pair<const std::basic_string, SubExprData> >; std::map<_Key, _Tp, _Compare, _Alloc>::value_type = std::pair<const std::basic_string, SubExprData>]
/usr/include/c++/4.7/bits/stl_map.h:572:7: note: candidate expects 2 arguments, 1 provided
/usr/include/c++/4.7/bits/stl_map.h:583:9: note: template<class _Pair, class> std::map<_Key, _Tp, _Compare, _Alloc>::iterator std::map::insert(std::map<_Key, _Tp, _Compare, _Alloc>::const_iterator, _Pair&&) [with _Pair = _Pair; = ; _Key = std::basic_string; _Tp = SubExprData; _Compare = std::lessstd::basic_string; _Alloc = std::allocator<std::pair<const std::basic_string, SubExprData> >]
/usr/include/c++/4.7/bits/stl_map.h:583:9: note: template argument deduction/substitution failed:
/home/tcad/devsim/external/symdiff/src/engine/SubExpr.cc:86:51: note: cannot convert ‘std::make_pair(_T1&&, _T2&&) [with _T1 = const std::basic_string&; _T2 = std::shared_ptrEqo::EquationObject&; typename std::__decay_and_strip<_T2>::__type = std::shared_ptrEqo::EquationObject; typename std::__decay_and_strip<_T1>::__type = std::basic_string](%28* & te%29)’ (type ‘std::pairstd::basic_string<char, std::shared_ptrEqo::EquationObject >’) to type ‘std::mapstd::basic_string<char, SubExprData>::const_iterator {aka std::_Rb_tree_const_iterator<std::pair<const std::basic_string, SubExprData> >}’
In file included from /usr/include/c++/4.7/map:61:0,
from /home/tcad/devsim/external/symdiff/src/engine/SubExpr.hh:23,
from /home/tcad/devsim/external/symdiff/src/engine/SubExpr.cc:17:
/usr/include/c++/4.7/bits/stl_map.h:598:9: note: template void std::map::insert(_InputIterator, _InputIterator) [with _InputIterator = _InputIterator; _Key = std::basic_string; _Tp = SubExprData; _Compare = std::lessstd::basic_string; _Alloc = std::allocator<std::pair<const std::basic_string, SubExprData> >]
/usr/include/c++/4.7/bits/stl_map.h:598:9: note: template argument deduction/substitution failed:
/home/tcad/devsim/external/symdiff/src/engine/SubExpr.cc:86:51: note: candidate expects 2 arguments, 1 provided
/home/tcad/devsim/external/symdiff/src/engine/SubExpr.cc: In member function ‘void SubExpr::scanSubexpression(Eqo::EqObjPtr&)’:
/home/tcad/devsim/external/symdiff/src/engine/SubExpr.cc:86:51: error: no matching function for call to ‘std::mapstd::basic_string<char, SubExprData>::insert(std::pairstd::basic_string<char, std::shared_ptrEqo::EquationObject >)’
/home/tcad/devsim/external/symdiff/src/engine/SubExpr.cc:86:51: note: candidates are:
In file included from /usr/include/c++/4.7/map:61:0,
from /home/tcad/devsim/external/symdiff/src/engine/SubExpr.hh:23,
from /home/tcad/devsim/external/symdiff/src/engine/SubExpr.cc:17:
/usr/include/c++/4.7/bits/stl_map.h:522:7: note: std::pair<typename std::_Rb_tree<_Key, std::pair<const _Key, _Tp>, std::_Select1st<std::pair<const _Key, _Tp> >, _Compare, typename _Alloc::rebind<std::map<_Key, _Tp, _Compare, _Alloc>::value_type>::other>::iterator, bool> std::map<_Key, _Tp, _Compare, _Alloc>::insert(const value_type&) [with _Key = std::basic_string; _Tp = SubExprData; _Compare = std::lessstd::basic_string; _Alloc = std::allocator<std::pair<const std::basic_string, SubExprData> >; typename std::_Rb_tree<_Key, std::pair<const _Key, _Tp>, std::_Select1st<std::pair<const _Key, _Tp> >, _Compare, typename _Alloc::rebind<std::map<_Key, _Tp, _Compare, _Alloc>::value_type>::other>::iterator = std::_Rb_tree_iterator<std::pair<const std::basic_string, SubExprData> >; std::map<_Key, _Tp, _Compare, _Alloc>::value_type = std::pair<const std::basic_string, SubExprData>]
/usr/include/c++/4.7/bits/stl_map.h:522:7: note: no known conversion for argument 1 from ‘std::pairstd::basic_string<char, std::shared_ptrEqo::EquationObject >’ to ‘const value_type& {aka const std::pair<const std::basic_string, SubExprData>&}’
/usr/include/c++/4.7/bits/stl_map.h:530:9: note: template<class _Pair, class> std::pair<typename std::_Rb_tree<_Key, std::pair<const _Key, _Tp>, std::_Select1st<std::pair<const _Key, _Tp> >, _Compare, typename _Alloc::rebind<std::map<_Key, _Tp, _Compare, _Alloc>::value_type>::other>::iterator, bool> std::map::insert(_Pair&&) [with _Pair = _Pair; = ; _Key = std::basic_string; _Tp = SubExprData; _Compare = std::lessstd::basic_string; _Alloc = std::allocator<std::pair<const std::basic_string, SubExprData> >]
/usr/include/c++/4.7/bits/stl_map.h:530:9: note: template argument deduction/substitution failed:
/usr/include/c++/4.7/bits/stl_map.h:526:32: error: no type named ‘type’ in ‘struct std::enable_if<false, void>’
/usr/include/c++/4.7/bits/stl_map.h:543:7: note: void std::map<_Key, _Tp, _Compare, _Alloc>::insert(std::initializer_list<std::pair<const _Key, _Tp> >) [with _Key = std::basic_string; _Tp = SubExprData; _Compare = std::lessstd::basic_string; _Alloc = std::allocator<std::pair<const std::basic_string, SubExprData> >]
/usr/include/c++/4.7/bits/stl_map.h:543:7: note: no known conversion for argument 1 from ‘std::pairstd::basic_string<char, std::shared_ptrEqo::EquationObject >’ to ‘std::initializer_list<std::pair<const std::basic_string, SubExprData> >’
/usr/include/c++/4.7/bits/stl_map.h:572:7: note: std::map<_Key, _Tp, _Compare, _Alloc>::iterator std::map<_Key, _Tp, _Compare, _Alloc>::insert(std::map<_Key, _Tp, _Compare, _Alloc>::const_iterator, const value_type&) [with _Key = std::basic_string; _Tp = SubExprData; _Compare = std::lessstd::basic_string; _Alloc = std::allocator<std::pair<const std::basic_string, SubExprData> >; std::map<_Key, _Tp, _Compare, _Alloc>::iterator = std::_Rb_tree_iterator<std::pair<const std::basic_string, SubExprData> >; std::map<_Key, _Tp, _Compare, _Alloc>::const_iterator = std::_Rb_tree_const_iterator<std::pair<const std::basic_string, SubExprData> >; std::map<_Key, _Tp, _Compare, _Alloc>::value_type = std::pair<const std::basic_string, SubExprData>]
/usr/include/c++/4.7/bits/stl_map.h:572:7: note: candidate expects 2 arguments, 1 provided
/usr/include/c++/4.7/bits/stl_map.h:583:9: note: template<class _Pair, class> std::map<_Key, _Tp, _Compare, _Alloc>::iterator std::map::insert(std::map<_Key, _Tp, _Compare, _Alloc>::const_iterator, _Pair&&) [with _Pair = _Pair; = ; _Key = std::basic_string; _Tp = SubExprData; _Compare = std::lessstd::basic_string; _Alloc = std::allocator<std::pair<const std::basic_string, SubExprData> >]
/usr/include/c++/4.7/bits/stl_map.h:583:9: note: template argument deduction/substitution failed:
/home/tcad/devsim/external/symdiff/src/engine/SubExpr.cc:86:51: note: cannot convert ‘std::make_pair(_T1&&, _T2&&) [with _T1 = const std::basic_string&; _T2 = std::shared_ptrEqo::EquationObject&; typename std::__decay_and_strip<_T2>::__type = std::shared_ptrEqo::EquationObject; typename std::__decay_and_strip<_T1>::__type = std::basic_string](%28* & te%29)’ (type ‘std::pairstd::basic_string<char, std::shared_ptrEqo::EquationObject >’) to type ‘std::mapstd::basic_string<char, SubExprData>::const_iterator {aka std::_Rb_tree_const_iterator<std::pair<const std::basic_string, SubExprData> >}’
In file included from /usr/include/c++/4.7/map:61:0,
from /home/tcad/devsim/external/symdiff/src/engine/SubExpr.hh:23,
from /home/tcad/devsim/external/symdiff/src/engine/SubExpr.cc:17:
/usr/include/c++/4.7/bits/stl_map.h:598:9: note: template void std::map::insert(_InputIterator, _InputIterator) [with _InputIterator = _InputIterator; _Key = std::basic_string; _Tp = SubExprData; _Compare = std::lessstd::basic_string; _Alloc = std::allocator<std::pair<const std::basic_string, SubExprData> >]
/usr/include/c++/4.7/bits/stl_map.h:598:9: note: template argument deduction/substitution failed:
/home/tcad/devsim/external/symdiff/src/engine/SubExpr.cc:86:51: note: candidate expects 2 arguments, 1 provided
make[2]: *** [src/engine/CMakeFiles/symdiff.dir/SubExpr.o] Error 1
make[1]: *** [src/engine/CMakeFiles/symdiff.dir/all] Error 2
make[1]: *** Waiting for unfinished jobs....
make[2]: *** [src/engine/CMakeFiles/symdiff_static.dir/SubExpr.o] Error 1
make[1]: *** [src/engine/CMakeFiles/symdiff_static.dir/all] Error 2
make: *** [all] Error 2