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

Merged

geoffw0 merged 3 commits into

github:masterfrom

dave-bartolomeo:dave/CompareFP

Mar 27, 2019

Commits on Mar 25, 2019

C++: Fix FP in PointlessComparison due to preprocessor
dave-bartolomeo
committed

Commits on Mar 26, 2019

C++: Make recursive predicates recursive and non-recursive predicates non-recursive
dave-bartolomeo
committed
C++: Move a couple predicates into Exclusions.qll
dave-bartolomeo
committed