Merge pull request #2022 from Xiretza/fallthroughs

author whitequark <whitequark@whitequark.org>

Fri, 8 May 2020 05:30:32 +0000 (05:30 +0000)

committer GitHub <noreply@github.com>

Fri, 8 May 2020 05:30:32 +0000 (05:30 +0000)
author whitequark <whitequark@whitequark.org>
Fri, 8 May 2020 05:30:32 +0000 (05:30 +0000)
committer GitHub <noreply@github.com>
Fri, 8 May 2020 05:30:32 +0000 (05:30 +0000)
diff --cc frontends/ast/genrtlil.cc
Simple merge
diff --cc frontends/ast/simplify.cc
Simple merge
author	whitequark <whitequark@whitequark.org>
	Fri, 8 May 2020 05:30:32 +0000 (05:30 +0000)
committer	GitHub <noreply@github.com>
	Fri, 8 May 2020 05:30:32 +0000 (05:30 +0000)
		1	2
frontends/ast/genrtlil.cc	patch \|	diff1 \|	diff2 \|	blob \| history
frontends/ast/simplify.cc	patch \|	diff1 \|	diff2 \|	blob \| history