CGAL users discussion list

[Andreas Fabri <>]

Hi Bernard,

Which compiler.
Does this happen in debug or release mode, or both?
Do you have GMP installed?

andreas


Bernhard Kornberger wrote:
> I have reported a bug in the regular triangulation of CGAL 3.3 on
> friday. But now I have found an easier example to show the behavior,
> it is one of the examples that come with CGAL:
>
> #include <CGAL/Exact_predicates_inexact_constructions_kernel.h>
> #include <CGAL/Regular_triangulation_euclidean_traits_2.h>
> #include <CGAL/Regular_triangulation_filtered_traits_2.h>
> #include <CGAL/Regular_triangulation_2.h>
>
> #include <fstream>
>
> typedef CGAL::Exact_predicates_inexact_constructions_kernel K;
> typedef CGAL::Regular_triangulation_filtered_traits_2<K>  Traits;
> typedef CGAL::Regular_triangulation_2<Traits> Regular_triangulation;
>
> int main()
> {
>    Regular_triangulation rt;
>    std::ifstream in("data/regular.cin");
>
>    Regular_triangulation::Weighted_point wp;
>    int count = 0;
>    while(in >> wp){
>        count++;
>      rt.insert(wp);
>    }
>    rt.is_valid();
>    std::cout << "number of inserted points : " << count << std::endl;
>    std::cout << "number of vertices :  " ;
>    std::cout << rt.number_of_vertices() << std::endl;
>    std::cout << "number of hidden vertices :  " ;
>    std::cout << rt.number_of_hidden_vertices() << std::endl;
>    return 0;
> }
>
> ..where I work with this input data:
>
> cat data/regular.cin
> 62.5 55 1563.24553641
> 93.9083 55 965.655625
> 123.495 26.5053 760.67294809
> 124.307 25.6932 716.53653124
> 124.819 25.1811 689.38278721
> 112.5 48.6286 1488.030625
> 112.5 47.2573 1488.030625
> 112.5 45.8859 1488.030625
> 112.5 50 1488.030625
> 112.5 55 1563.24553641
>
>
> The original code works. But if one changes the Kernel to
>
> #include <CGAL/Exact_predicates_inexact_constructions_kernel.h>
> typedef CGAL::Exact_predicates_exact_constructions_kernel K;
>
> then the software crashes:
>
> ./regular
> CGAL error: assertion violation!
> Expr: !(i>s)
> File: ../../include/CGAL/Interval_nt.h
> Line: 77
> Explanation: Variable used before being initialized (or CGAL bug)
> terminate called after throwing an instance of 'CGAL::Assertion_exception'
>   what():  CGAL ERROR: assertion violation!
> Expr: !(i>s)
> File: ../../include/CGAL/Interval_nt.h
> Line: 77
> Explanation:  Variable used before being initialized (or CGAL bug)
> Aborted (core dumped)
>
> Shouldn't it also work with the exact kernel? What can I do?
>
> Best
> Bernhard