gfan 0.7 #651
Annotations
4 errors and 1 warning
|
Formula/gfan.rb#L29
409 | auto F=E.closure();
| ~~~~~~~~~^~
src/gfanlib_hypersurfaceintersection.cpp:1127:22: required from here
1127 | template class gfan::PolytopeIntersectionData<gfan::CircuitTableInt64>;
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
src/gfanlib_circuittableint.h:629:89: error: cannot convert 'gfan::my256s' to 'gfan::MyMakeUnsigned<__int128>::type' {aka '__int128 unsigned'} in initialization
629 | typename MyMakeUnsigned<longword>::type positiveResultBoundTimesD=extMul(negabs(s).v,boundA.v);
| ~~~~~~^~~~~~~~~~~~~~~~~~~~~~
| |
| gfan::my256s
src/gfanlib_circuittableint.h:656:54: error: invalid cast from type 'gfan::my256s' to type 'long long int'
656 | aa[i].v=((((word)((/*(uint64_t)*/(extMul(s.v,aa[i].v)))>>denominatorDivisor.shift)))*denominatorDivisor.multiplicativeInverse);
| ~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
src/gfanlib_circuittableint.h:682:81: error: cannot convert 'gfan::my256s' to '__int128' in initialization
682 | longword/*int64_t*/ temp=(extMul(s.v,aa[i].v))/denominatorDivisor.v;
| ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~
| |
| gfan::my256s
src/gfanlib_circuittableint.h:169:18: note: explicit conversion function was not considered
169 | explicit operator __int128()const
| ^~~~~~~~
src/gfanlib_circuittableint.h: In instantiation of 'static gfan::CircuitTableIntPOD<word, longword> gfan::CircuitTableIntPOD<word, longword>::dotDivVector(gfan::CircuitTableIntPOD<word, longword>*, gfan::CircuitTableIntPOD<word, longword>*, gfan::CircuitTableIntPOD<word, longword>, gfan::CircuitTableIntPOD<word, longword>, Divisor, int, gfan::CircuitTableIntPOD<word, longword>, gfan::CircuitTableIntPOD<word, longword>) [with word = long long int; longword = __int128]':
src/gfanlib_tableau.h:468:27: required from 'void gfan::Tableau<mvtyp>::exchange(int, int) [with mvtyp = gfan::CircuitTableInt64]'
468 | mvtyp::dotDivVector(&combinedMatrix[k][0],&combinedMatrix[i][0],combinedMatrix[i][j],temp,divisorObject,getWidth(),boundK,boundI);
| ~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
src/gfanlib_tableau.h:554:28: required from 'void gfan::GeneratedCone<mvtyp>::exchange(int, int) [with mvtyp = gfan::CircuitTableInt64]'
554 | Tableau<mvtyp>::exchange(i,j);
| ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~
src/gfanlib_tableau.h:691:6: required from 'gfan::GeneratedCone<mvtyp>::GeneratedCone(const gfan::Matrix<otherTyp>&, const gfan::Matrix<otherTyp>&, MR*, MR*) [with mvtyp = gfan::CircuitTableInt64; MR = std::experimental::fundamentals_v2::pmr::memory_resource]'
691 | exchange(a,i);
| ^~~~~~~~
src/gfanlib_tableau.h:2453:4: required from 'gfan::Cone<mvtyp>::Cone(const gfan::Matrix<otherTyp>&, const gfan::Matrix<otherTyp>&, MR*, MR*) [with mvtyp = gfan::CircuitTableInt64; MR = std::experimental::fundamentals_v2::pmr::memory_resource]'
2453 | dualCone(M,equations,mr,mr2)
|
|
|
|
|
This job failed
Loading