What kind of GC is `-gc=precise`?

[vlkv]

Hello!
There is no info about -gc=precise option on https://tinygo.org/docs/reference/usage/important-options/ page. But such option definitely exists, because of

tinygo/compileopts/options.go

Line 11 in 731532c

validGCOptions = []string{"none", "leaking", "conservative", "custom", "precise"}

tinygo --help also says not much:

  -gc string
    	garbage collector to use (none, leaking, conservative)

Can you please explain what is this kind of GC and what are its pros/cons (compared to 'conservative')?

Thank you.

[vlkv]

Please, can somebody respond?..

[aykevl]

It's almost the same as the conservative GC, but tracks which area of memory definitely aren't pointers. So it has a smaller chance of false positives (which means reduced memory consumption) and may or may not be faster (depending on your use case). It's still mostly conservative, but a bit smarter.

This should really be added to the website.