C++: Make sure a CatchBlock that catches a const std::bad_alloc& is also a BadAllocCatchBlock.

Author: MathiasVP

cpp/ql/src/experimental/Security/CWE/CWE-570/IncorrectAllocationErrorHandling.ql

@@ -139,7 +139,8 @@ class BadAllocType extends Class {
  */
 class BadAllocCatchBlock extends CatchBlock {
   BadAllocCatchBlock() {
-    this.getParameter().getUnspecifiedType() = any(BadAllocType badAlloc).getADerivedClass*()
+    this.getParameter().getUnspecifiedType().stripType() =
+      any(BadAllocType badAlloc).getADerivedClass*()
     or
     not exists(this.getParameter())
   }