1282683 - Memory leaks in mpi.c

Status: NEW

(NSS :: Libraries, defect, P5)

Description

[Franziskus Kiefer [:franziskus]]

lib/freebl/mpi/mpi.c:403: error: MEMORY_LEAK
   memory dynamically allocated to tmp.dp by call to mp_init_copy() at line 393, column 13 is not reachable after line 403, column 5

lib/freebl/mpi/mpi.c:447: error: MEMORY_LEAK
   memory dynamically allocated to tmp.dp by call to mp_init_copy() at line 437, column 13 is not reachable after line 447, column 5

lib/freebl/mpi/mpi.c:910: error: MEMORY_LEAK
   memory dynamically allocated to tmp.dp by call to mp_init_copy() at line 891, column 15 is not reachable after line 910, column 11

lib/freebl/mpi/mpi.c:914: error: MEMORY_LEAK
   memory dynamically allocated to tmp.dp by call to mp_init_copy() at line 891, column 15 is not reachable after line 914, column 11

lib/freebl/mpi/mpi.c:1310: error: MEMORY_LEAK
   memory dynamically allocated to x.dp by call to mp_init_copy() at line 1305, column 13 is not reachable after line 1310, column 5

lib/freebl/mpi/mpi.c:1316: error: MEMORY_LEAK
   memory dynamically allocated to t.dp by call to mp_init_size() at line 1301, column 13 is not reachable after line 1316, column 15

lib/freebl/mpi/mpi.c:1321: error: MEMORY_LEAK
   memory dynamically allocated to x.dp by call to mp_init_copy() at line 1305, column 13 is not reachable after line 1321, column 5

lib/freebl/mpi/mpi.c:2641: error: MEMORY_LEAK
   memory dynamically allocated to tmp.dp by call to mp_init_copy() at line 2633, column 15 is not reachable after line 2641, column 17

lib/freebl/mpi/mpi.c:3350: error: MEMORY_LEAK
   memory dynamically allocated to rem.dp by call to mp_init_copy() at line 3346, column 17 is not reachable after line 3350, column 17

lib/freebl/mpi/mpi.c:4102: error: MEMORY_LEAK
   memory dynamically allocated to tmp.dp by call to mp_init_size() at line 4100, column 13 is not reachable after line 4102, column 9

lib/freebl/mpi/mpi.c:4313: error: MEMORY_LEAK
   memory dynamically allocated to q.dp by call to mp_init_copy() at line 4310, column 13 is not reachable after line 4313, column 3

Comment 1

[Tim Taubert [:ttaubert] (inactive)]

FTR, Franziskus and I looked at this for a few minutes today and we're convinced it's not a memory leak but a false-positive. Infer doesn't seem intelligent enough to cover the case where |a == b|.