Skip to content

C++: Fix FP in PointlessComparison due to preprocessor#1165

Merged
geoffw0 merged 3 commits into
github:masterfrom
dave-bartolomeo:dave/CompareFP
Mar 27, 2019
Merged

C++: Fix FP in PointlessComparison due to preprocessor#1165
geoffw0 merged 3 commits into
github:masterfrom
dave-bartolomeo:dave/CompareFP

C++: Move a couple predicates into Exclusions.qll

127b759
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs