1 files changed, 36 insertions, 0 deletions
diff --git a/pw_result/size_report/ladder_or_else.cc b/pw_result/size_report/ladder_or_else.cc
new file mode 100644
index 000000000..b6e402247
--- /dev/null
+++ b/pw_result/size_report/ladder_or_else.cc
@@ -0,0 +1,36 @@
+// Copyright 2022 The Pigweed Authors
+//
+// Licensed under the Apache License, Version 2.0 (the "License"); you may not
+// use this file except in compliance with the License. You may obtain a copy of
+// the License at
+//
+//     https://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
+// WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
+// License for the specific language governing permissions and limitations under
+// the License.
+
+#include <cstdio>
+
+#include "pw_result/result.h"
+
+pw::Result<float> Divide(float a, float b) {
+  if (b == 0) {
+    return pw::Status::InvalidArgument();
+  }
+  return a / b;
+}
+
+float volatile* unoptimizable;
+
+int main() {
+  pw::Result result = Divide(*unoptimizable, *unoptimizable);
+
+  if (!result.ok()) {
+    printf("result failed with %d", result.status().code());
+  }
+
+  return 0;
+}