diff options
Diffstat (limited to '021check_instruction.cc')
-rw-r--r-- | 021check_instruction.cc | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/021check_instruction.cc b/021check_instruction.cc index 48f90078..ee44161a 100644 --- a/021check_instruction.cc +++ b/021check_instruction.cc @@ -102,15 +102,19 @@ bool types_match(const reagent& to, const reagent& from) { if (is_literal(from)) { if (is_mu_array(to)) return false; // End Matching Types For Literal(to) - // allow writing 0 to any address - if (is_mu_address(to)) return from.name == "0"; if (!to.type) return false; + if (is_mu_address(to)) return types_match_literal_to_address(from); // End Literal types_match Special-cases return size_of(to) == 1; // literals are always scalars } return types_strictly_match(to, from); } +bool types_match_literal_to_address(const reagent& from) { + // End Literal->Address types_match(from) Special-cases + return false; +} + //: copy arguments for later layers bool types_strictly_match(reagent/*copy*/ to, reagent/*copy*/ from) { // End Preprocess types_strictly_match(reagent to, reagent from) |