Skip to content

Commit 172956a

Browse files
committed
removed incorrect warnings
1 parent ec7564b commit 172956a

1 file changed

Lines changed: 0 additions & 2 deletions

File tree

src/analyses/base.ml

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1189,10 +1189,8 @@ struct
11891189
if AD.is_top fp then (
11901190
if AD.cardinal fp = 1 then (
11911191
M.warn ~category:Imprecise ~tags:[Category Call] "Unknown call to function %a." d_exp fval;
1192-
Checks.warn Checks.Category.InvalidMemoryAccess "Unknown call to function %a." d_exp fval
11931192
) else (
11941193
M.warn ~category:Imprecise ~tags:[Category Call] "Function pointer %a may contain unknown functions." d_exp fval;
1195-
Checks.warn Checks.Category.InvalidMemoryAccess "Function pointer %a may contain unknown functions." d_exp fval
11961194
)
11971195
);
11981196
fp

0 commit comments

Comments
 (0)