diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-08-08 12:09:55 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-08-08 14:06:39 +0000 |
| commit | a85b371c5584664083ed7e1a394607c3100534c2 (patch) | |
| tree | 0050669933021b8f23fadccf6d474fd70b6c4df9 /executor/_include/flatbuffers/flatc.h | |
| parent | 7d6784d60023abc670559bbb8c7eda32f6aed5aa (diff) | |
prog: optimize array minimization
If there are at least 3 elements, try to remove all at once first.
If will be faster than removing them one-by-one if all of them are not needed.
Diffstat (limited to 'executor/_include/flatbuffers/flatc.h')
0 files changed, 0 insertions, 0 deletions