pike.git/
src/
pike_types.cmod
Branch:
Tag:
Non-build tags
All tags
No tags
2022-02-23
2022-02-23 11:36:22 by Henrik Grubbström (Grubba) <grubba@grubba.org>
dc02db923c0aa068ad5e2892f0e542a169cf6158 (
7
lines) (+
6
/-
1
)
[
Show
|
Annotate
]
Branch:
master
Compiler
[Typechecker]
: Fix PT_FLAG_MIXED with T_NOT nodes.
665:
t->flags = cdr->flags & ~(PT_FLAG_MARKER|PT_FLAG_ASSIGN); } else if (type == T_NOT) { if (car) {
-
t->flags |= car->flags ^ ~PT_FLAG_MARK_ASSIGN;
+
/* NB: We cannot set the PT_FLAG_MIXED flag,
+
* as inverting a non-mixed type does not
+
* give mixed.
+
*/
+
t->flags |=
(
car->flags ^ ~PT_FLAG_MARK_ASSIGN
) & ~PT_FLAG_MIXED
;
} } else if (flag_method & PT_COPY_MORE) { if (car && (flag_method & PT_COPY_CAR)) {