diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2026-01-21 15:48:25 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2026-01-22 11:23:54 +0000 |
| commit | 623df388782dcfe70f4f147cb24197e535f9c89b (patch) | |
| tree | e815bc3ae2e0c315ceccf2cf22d887fea17363b9 /pkg/codesearch/testdata/source1.c.json | |
| parent | c1de3220482e317729f83e4e7d32fc30d46ec1e7 (diff) | |
pkg/codesearch: reduce memory consumption a bit more
Use uint32 instead of int for line numbers (2G lines should be enough for everyone).
Reorder fields to remove unnecessary paddings.
Diffstat (limited to 'pkg/codesearch/testdata/source1.c.json')
| -rw-r--r-- | pkg/codesearch/testdata/source1.c.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkg/codesearch/testdata/source1.c.json b/pkg/codesearch/testdata/source1.c.json index 72278a191..9a90d789f 100644 --- a/pkg/codesearch/testdata/source1.c.json +++ b/pkg/codesearch/testdata/source1.c.json @@ -1,9 +1,9 @@ { "definitions": [ { - "kind": "function", "name": "same_name_in_several_files", "type": "void ()", + "kind": "function", "is_static": true, "body": { "file": "source1.c", |