From b50b5f640263c61364a46eb9df470402dd5f2a63 Mon Sep 17 00:00:00 2001 From: Andreas Kloeckner Date: Sat, 4 Jul 2020 00:52:25 -0500 Subject: [PATCH] ArrayContext._get_scalar_func_loopy_program: use lt_set (not le_set) for upper bound (fixes out-of bounds write, thanks @mattwala) --- meshmode/array_context.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/meshmode/array_context.py b/meshmode/array_context.py index 2e3ae4af..6118e9d5 100644 --- a/meshmode/array_context.py +++ b/meshmode/array_context.py @@ -162,7 +162,7 @@ class ArrayContext: v = make_zero_and_vars(var_names, params=size_names) domain = v[0].domain() for vname, sname in zip(var_names, size_names): - domain = domain & v[0].le_set(v[vname]) & v[vname].le_set(v[sname]) + domain = domain & v[0].le_set(v[vname]) & v[vname].lt_set(v[sname]) domain_bset, = domain.get_basic_sets() -- GitLab