Skip to content

Commit b6ce5f7

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

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

src/analyses/base.ml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2237,7 +2237,6 @@ struct
22372237
let special_unknown_invalidate man f args =
22382238
(if CilType.Varinfo.equal f dummyFunDec.svar then (
22392239
M.warn ~category:Imprecise ~tags:[Category Call] "Unknown function ptr called";
2240-
Checks.warn Checks.Category.InvalidMemoryAccess "Unknown function ptr called"
22412240
));
22422241
let desc = LF.find f in
22432242
let shallow_addrs = LibraryDesc.Accesses.find desc.accs { kind = Write; deep = false } args in

0 commit comments

Comments
 (0)