diff options
| author | Alon Zakai <azakai@google.com> | 2022-07-07 15:43:22 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-07 15:43:22 -0700 |
| commit | 19a437500a4c30f48355722653a01a8c44ff6bec (patch) | |
| tree | 408bf64e92d17b38561561f138e1d03243774369 /src/ir/effects.h | |
| parent | 9831b36d339b1cea61d5313f7dfa256fc1ee9bcc (diff) | |
| download | binaryen-19a437500a4c30f48355722653a01a8c44ff6bec.tar.gz binaryen-19a437500a4c30f48355722653a01a8c44ff6bec.tar.bz2 binaryen-19a437500a4c30f48355722653a01a8c44ff6bec.zip | |
[Strings] string.encode (#4776)
Diffstat (limited to 'src/ir/effects.h')
| -rw-r--r-- | src/ir/effects.h | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/ir/effects.h b/src/ir/effects.h index b8007cfba..8e33f65bf 100644 --- a/src/ir/effects.h +++ b/src/ir/effects.h @@ -734,7 +734,14 @@ private: } void visitStringNew(StringNew* curr) {} void visitStringConst(StringConst* curr) {} - void visitStringMeasure(StringMeasure* curr) {} + void visitStringMeasure(StringMeasure* curr) { + // traps when ref is null. + parent.implicitTrap = true; + } + void visitStringEncode(StringEncode* curr) { + // traps when ref is null or we write out of bounds. + parent.implicitTrap = true; + } }; public: |