pike.git/
src/
pike_types.cmod
Branch:
Tag:
Non-build tags
All tags
No tags
2021-06-03
2021-06-03 15:28:36 by Henrik Grubbström (Grubba) <grubba@grubba.org>
f5b86aa8a2d0da50dbc45fb54f0b1c2b94e879d6 (
5
lines) (+
5
/-
0
)
[
Show
|
Annotate
]
Branch:
master
Compiler
[Typechecker]
: Support __unknown__ in more places.
1358:
fprintf(stderr, "),..., 0x%08x)...\n", marker_set); } #endif /* PIKE_TYPE_DEBUG */
+
if (!type) {
+
push_type(PIKE_T_UNKNOWN);
+
return;
+
}
/* We need to replace if there are any markers, or if there's a * non-masked assign. */