`Custom Query`: The getATypeUse helper predicate in CodeQL doesn't consider the case where type is constructed with an aggregate literal.

[rak3-sh]

Affected rules

All rules that are using getATypeUse for analysis.

Description

In case a query wants to check whether a type is left unused, they can do so by using the getATypeUse helper predicate. However, that predicate doesn't consider the case where a type is constructed with an aggregate literal.

Example

#define _KV(key, ...)                                       \
  [](const auto& _log_incoming_value) noexcept {            \
    class _log_kv_pair {                                    \
     public:                                                \
      constexpr static const char * LogKeyName() noexcept { \
        return static_cast<const char*>(key);               \
      }                                                     \
    };                                                      \
    return _log_kv_pair{_log_incoming_value};               \
  }

int main()
{
  _KV("pid");
  return 0;
}