Opened 10 years ago

Closed 10 years ago

## #576 closed bug (fixed)

# segfaulting singular with a series of ring definitions

Reported by: | Owned by: | somebody | |
---|---|---|---|

Priority: | critical | Milestone: | 4-1-0 and higher |

Component: | dontKnow | Version: | 4-0-0 |

Keywords: | segfault ring creation | Cc: |

### Description

with the following input on my system it is possible to trigger a segfault

ring rng = 5^5,x,dp; ring rng = 5^2,x,dp; ring rng = 25,x,dp; ring rng = (integer,5^5),x,dp; basering; ring rng = (integer,5^2),x,dp; basering; minpoly; ring rng = (integer,5,2),x,dp; ring rng = 5^5,x,dp; ring rng = 5^2,x,dp; ring rng = 25,x,dp; ring rng = (integer,5^5),x,dp; basering; ring rng = (integer,5^2),x,dp; basering; minpoly; ring rng = (integer,5,2),x,dp;

can someone reproduce the issue?

### Change History (7)

### comment:1 Changed 10 years ago by

### comment:2 follow-up: 3 Changed 10 years ago by

the error is probably related to `minpoly`

:

when removing `minpoly`

calls, no error seems to occur for me.

### comment:3 follow-up: 4 Changed 10 years ago by

Replying to kroeker@…:

the error is probably related to

`minpoly`

:when removing

`minpoly`

calls, no error seems to occur for me.

yes, i can confirm that...

### comment:4 Changed 10 years ago by

> ring rng = (integer),x,dp; basering; // coeff. ring is : Integers // number of vars : 1 // block 1 : ordering dp // : names x // block 2 : ordering C > minpoly; 0 > minpoly; 000000000000000000000000000000000000...lots of zeroes...000000 > minpoly; Program received signal SIGSEGV, Segmentation fault. 0x0000000000938115 in omFreeLarge () (gdb) bt #0 0x0000000000938115 in omFreeLarge () #1 0x000000000076ddb1 in nrzDelete (a=0x7fffffffa2d0) at ../../../libpolys/coeffs/rintegers.cc:103 #2 0x0000000000500cdd in n_Delete (p=0x7fffffffa2d0, r=0x7ffff54aa2d0) at ../../libpolys/coeffs/coeffs.h:366 #3 0x000000000050146f in n_Delete (p=0x7fffffffa2d0, r=0x7ffff54c2068) at ../../libpolys/polys/coeffrings.h:9 #4 0x0000000000502890 in s_internalDelete (t=277, d=0x7ffff54a83f0, r=0x7ffff54c2068) at ../../Singular/subexpr.cc:510 #5 0x0000000000502008 in sleftv::CleanUp (this=0xc5a660 <sLastPrinted>, r=0x7ffff54c2068) at ../../Singular/subexpr.cc:320 #6 0x00000000005016b0 in sleftv::Print (this=0x7fffffffa770, store=0xc5a660 <sLastPrinted>, spaces=0) at ../../Singular/subexpr.cc:112 #7 0x000000000049eef8 in yyparse () at grammar.y:1479 #8 0x0000000000494346 in main (argc=3, argv=0x7fffffffe5f8) at ../../Singular/tesths.cc:232

### comment:5 Changed 10 years ago by

Resolution: | → fixed |
---|---|

Status: | new → closed |

fixed with 4dc1d72673588af9e9fe3cc9a3270636741613a1 (was: double free)

### comment:6 Changed 10 years ago by

Resolution: | fixed |
---|---|

Status: | closed → reopened |

fixed with 4dc1d72673588af9e9fe3cc9a3270636741613a1

a corresponding regression test is missing. Please add!

### comment:7 Changed 10 years ago by

Resolution: | → fixed |
---|---|

Status: | reopened → closed |

**Note:**See TracTickets for help on using tickets.

in

`gdb`

(under Linux) i have got the following: