Implement `-Wmismatched-dealloc`

This PR (https://github.com/llvm/llvm-project/pull/68059) adds support for the malloc-attribute with arguments, which enables diagnostics in GCC for the `-Wmismatched-dealloc` diagnostic, which requires static analysis.  We should probably investigate that functionality at one point and see if we can implement similar diagnostics.