GitLab

Also fixes some warnings.

Fixes multiple warnings.

las.cmod:fix_type_field() is called by optimize() from the leaves
going up. This means that the expression in eg `?` has typically
already been typechecked when it is received by fix_type_field().
Move the special case to mknode().

CAVEAT EMPTOR:
  Calling fix_type_field() from mknode() in early compiler passes
  may cause strange and unexpected failures. The special case type
  adjustment is therefore only performed in the last compiler pass.

Fixes warnings from eg Getopt.

Do not warn about the type not containing zero in the special case

  if (string foo = expr) { xxx }

as foo will never be zero even though expr may very well be zero.

This node type behaves identically to F_ASSIGN, but is only used
in the case where it is the initializer assignment in a local
variable declaration.

This change causes the conditional be in CAR, analogous to
'?' and F_FOR nodes, reducing the number of special cases
in some upcoming code.

In 8.0 compat mode and not strict types zero is now implicitly
added to types.

Fixes some warnings.

Indexing of mappings may always return zero (or rather UNDEFINED).

Fixes compilation error from the optimizer when it optimizes a
mapping lookup to UNDEFINED, but zero is not in the value type.

Soft casting of eg string|void to string now gives the
expected string (rather than string|zero).

Fixes multiple strict types warnings.

The buffer used by describe_svalue() when rendering wide strings
could be overrun by one NUL due to the use of sprintf(3C).

lfun_names entries with compat names are now preceeded with a NUL
and are NUL-separated. This makes the debug checks in stralloc.c
happier, as the resulting static strings now are NUL-terminated.

Fixes issue with attempts to (soft) cast zero to eg string.

debug_free_type() attempted to dereference NULL when it looped
on certain types.

* patches/bug10059:
  Inotify: add_watch() now returns -1 on some failures.

This is to simplify differentiation between failures due to
the filesystem being in flux (eg races), and failures due to
resource limits.

Fixes race condition (time of check, time of use) in
Filesystem.Monitor.basic.InotifyMonitor()->register_path().

Fixes #10059.