Skip to content

Commit 719f21a

Browse files
author
SPancratz
committed
Adds a suppression file "Invalid Read"s by __gmpn_copyi.
To use this you can call valgrind via e.g. valgrind --suppressions=flint.supp ./build/fmpz_poly/test/t-mul_KS
1 parent 7599924 commit 719f21a

File tree

1 file changed

+16
-0
lines changed

1 file changed

+16
-0
lines changed

flint.supp

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
{
2+
MPIR_MUL
3+
Memcheck:Addr8
4+
fun:__gmpn_copyi
5+
fun:__gmpn_mul
6+
fun:_fmpz_poly_mul_KS
7+
}
8+
9+
{
10+
MPIR_MUL_N
11+
Memcheck:Addr8
12+
fun:__gmpn_copyi
13+
fun:__gmpn_mul_n
14+
fun:_fmpz_poly_mul_KS
15+
}
16+

0 commit comments

Comments
 (0)