[C++] Fix NULL pointer dereference in reflection VerifyVector() (union vector, CWE-476)

[thinhnallf]

Bug

In src/reflection.cpp, the reflection::Union case inside VerifyVector() can encounter a null pointer dereference if type_vec is null.

auto type_vec = table.GetPointer<Vector<uint8_t>*>(vec_field.offset() - sizeof(voffset_t));
if (!v.VerifyVector(type_vec)) return false; 
if (type_vec->size() != vec->size()) return false;  // NULL DEREF if type_vec is null

Since VerifierTemplate::VerifyVector(nullptr) intentionally returns true (as a null vector represents a valid, absent optional field), a null type_vec safely passes the verification line but subsequently causes an unconditional null pointer dereference during the size comparison.

Fix

Add an explicit null-check for type_vec immediately after the verification check, before it is dereferenced.

Testing

Confirmed locally that handling an absent companion type-vector field no longer causes a crash and is now correctly rejected by returning false.

[google-cla]

Thanks for your pull request! It looks like this may be your first contribution to a Google open source project. Before we can look at your pull request, you'll need to sign a Contributor License Agreement (CLA).

View this failed invocation of the CLA check for more information.

For the most up to date status, view the checks section at the bottom of the pull request.

[thinhnallf]

@googlebot check