Problem p03565 (C++)

Buggy submission (status: Runtime Error):
// コンパイラ最適化用
#pragma GCC optimize("Ofast")
#define _GLIBCXX_DEBUG
// インクルード(アルファベット順)
#include <algorithm> //sort,二分探索,など
#include <bits/stdc++.h>
#include <bitset>        //固定長bit集合
#include <chrono>        //実行時間計測
#include <cmath>         //pow,logなど
#include <complex>       //複素数
#include <deque>         //両端アクセスのキュー
#include <functional>    //sortのgreater
#include <iomanip>       //setprecision(浮動小数点の出力の誤差)
#include <iostream>      //入出力
#include <iterator>      //集合演算(積集合,和集合,差集合など)
#include <map>           //map(辞書)
#include <numeric>       //iota(整数列の生成),gcdとlcm,accumulate
#include <queue>         //キュー
#include <set>           //集合
#include <stack>         //スタック
#include <string>        //文字列
#include <unordered_map> //順序保持しないmap
#include <unordered_set> //順序保持しないset
#include <utility>       //pair
#include <vector>        //可変長配列

using namespace std;
typedef long long ll;
typedef long double ld;
typedef pair<ll, ll> pll;
typedef pair<ll, int> pli;
typedef pair<int, int> pii;
typedef pair<ll, ld> pld;
typedef pair<pii, int> ppiii;
typedef pair<pii, ll> ppiill;
typedef pair<pll, ll> ppllll;
typedef pair<pli, int> pplii;
typedef map<int, int> mii;
typedef deque<ll> dll;
typedef queue<ll> qll;
typedef priority_queue<ll> pqll;
typedef priority_queue<ll, vector<ll>, greater<ll>> pqrll;
typedef vector<int> vint;
typedef vector<ll> vll;
typedef vector<vector<ll>> vvll;
typedef vector<vector<int>> vvint;
typedef vector<vector<pll>> vvpll;

// マクロ
// forループ
// 引数は、(ループ内変数,動く範囲)か(ループ内変数,始めの数,終わりの数)、のどちらか
// Dがついてないものはループ変数は1ずつインクリメントされ、Dがついてるものはループ変数は1ずつデクリメントされる
#define REP(i, n) for (ll i = 0; i < ll(n); i++)
#define REPD(i, n) for (ll i = n - 1; i >= 0; i--)
#define FOR(i, a, b) for (ll i = a; i <= ll(b); i++)
#define FORD(i, a, b) for (ll i = a; i >= ll(b); i--)
// xにはvectorなどのコンテナ
#define ALL(x) x.begin(), x.end()
#define SIZE(x) ll(x.size())
// 定数
#define INF 1000000000000 // 10^12:∞
#define MOD 1000000007    // 10^9+7:合同式の法
#define MAXR 100000       // 10^5:配列の最大のrange
// 略記
#define PB push_back // 挿入
#define MP make_pair // pairのコンストラクタ
#define F first      // pairの一つ目の要素
#define S second     // pairの二つ目の要素
#define cin(x) cin >> x

signed main() {
  // 入力の高速化用のコード
  ios::sync_with_stdio(false);
  cin.tie(nullptr);

  // 入力
  // ll N = 0, L =0;
  // cin >> N >> L;
  string s;
  string t;
  cin >> s >> t;

  // vll X(N);
  // REP(i,N) cin >> X[i];

  // 本文
  ll ls = s.size();
  ll lt = t.size();
  ll c = 0;
  vector<vector<char>> S(ls - lt + 1, vector<char>(ls));
  REP(i, ls - lt + 1) {
    REP(j, ls) { S[i][j] = s[j]; }
  }
  REP(i, ls - lt + 1) {
    REP(j, lt) { S[i][i + j] = t[j]; }
  }
  REP(i, ls - lt + 1) {
    ll count = 0;
    REP(j, ls) {
      if (S[i][j] == s[j] || s[j] == '?') {
        count++;
      }
    }
    if (count != ls) {
      REP(j, ls) { S[i][j] = 'z'; }
    } else {
      REP(j, ls) {
        if (S[i][j] == '?')
          S[i][j] = 'a';
      }
      c++;
    }
  }
  // 出力
  if (c == 0) {
    cout << "UNRESTORABLE" << endl;
    return 0;
  }
  vector<string> ans(ls - lt + 1);
  REP(i, ls + lt - 1) {
    REP(j, ls) { ans[i] += S[i][j]; }
  }
  sort(ALL(ans));
  cout << ans[0];

  // REP(i,N) cout << ans.at(i) <<endl;
  return 0;
}

Fixed submission:
// コンパイラ最適化用
#pragma GCC optimize("Ofast")
#define _GLIBCXX_DEBUG
// インクルード(アルファベット順)
#include <algorithm> //sort,二分探索,など
#include <bits/stdc++.h>
#include <bitset>        //固定長bit集合
#include <chrono>        //実行時間計測
#include <cmath>         //pow,logなど
#include <complex>       //複素数
#include <deque>         //両端アクセスのキュー
#include <functional>    //sortのgreater
#include <iomanip>       //setprecision(浮動小数点の出力の誤差)
#include <iostream>      //入出力
#include <iterator>      //集合演算(積集合,和集合,差集合など)
#include <map>           //map(辞書)
#include <numeric>       //iota(整数列の生成),gcdとlcm,accumulate
#include <queue>         //キュー
#include <set>           //集合
#include <stack>         //スタック
#include <string>        //文字列
#include <unordered_map> //順序保持しないmap
#include <unordered_set> //順序保持しないset
#include <utility>       //pair
#include <vector>        //可変長配列

using namespace std;
typedef long long ll;
typedef long double ld;
typedef pair<ll, ll> pll;
typedef pair<ll, int> pli;
typedef pair<int, int> pii;
typedef pair<ll, ld> pld;
typedef pair<pii, int> ppiii;
typedef pair<pii, ll> ppiill;
typedef pair<pll, ll> ppllll;
typedef pair<pli, int> pplii;
typedef map<int, int> mii;
typedef deque<ll> dll;
typedef queue<ll> qll;
typedef priority_queue<ll> pqll;
typedef priority_queue<ll, vector<ll>, greater<ll>> pqrll;
typedef vector<int> vint;
typedef vector<ll> vll;
typedef vector<vector<ll>> vvll;
typedef vector<vector<int>> vvint;
typedef vector<vector<pll>> vvpll;

// マクロ
// forループ
// 引数は、(ループ内変数,動く範囲)か(ループ内変数,始めの数,終わりの数)、のどちらか
// Dがついてないものはループ変数は1ずつインクリメントされ、Dがついてるものはループ変数は1ずつデクリメントされる
#define REP(i, n) for (ll i = 0; i < ll(n); i++)
#define REPD(i, n) for (ll i = n - 1; i >= 0; i--)
#define FOR(i, a, b) for (ll i = a; i <= ll(b); i++)
#define FORD(i, a, b) for (ll i = a; i >= ll(b); i--)
// xにはvectorなどのコンテナ
#define ALL(x) x.begin(), x.end()
#define SIZE(x) ll(x.size())
// 定数
#define INF 1000000000000 // 10^12:∞
#define MOD 1000000007    // 10^9+7:合同式の法
#define MAXR 100000       // 10^5:配列の最大のrange
// 略記
#define PB push_back // 挿入
#define MP make_pair // pairのコンストラクタ
#define F first      // pairの一つ目の要素
#define S second     // pairの二つ目の要素
#define cin(x) cin >> x

signed main() {
  // 入力の高速化用のコード
  ios::sync_with_stdio(false);
  cin.tie(nullptr);

  // 入力
  // ll N = 0, L =0;
  // cin >> N >> L;
  string s;
  string t;
  cin >> s >> t;

  // vll X(N);
  // REP(i,N) cin >> X[i];

  // 本文
  ll ls = s.size();
  ll lt = t.size();
  ll c = 0;
  vector<vector<char>> S(ls - lt + 1, vector<char>(ls));
  REP(i, ls - lt + 1) {
    REP(j, ls) { S[i][j] = s[j]; }
  }
  REP(i, ls - lt + 1) {
    REP(j, lt) { S[i][i + j] = t[j]; }
  }
  REP(i, ls - lt + 1) {
    ll count = 0;
    REP(j, ls) {
      if (S[i][j] == s[j] || s[j] == '?') {
        count++;
      }
    }
    if (count != ls) {
      REP(j, ls) { S[i][j] = 'z'; }
    } else {
      REP(j, ls) {
        if (S[i][j] == '?')
          S[i][j] = 'a';
      }
      c++;
    }
  }
  // 出力
  if (c == 0) {
    cout << "UNRESTORABLE" << endl;
    return 0;
  }
  vector<string> ans(ls - lt + 1);
  REP(i, ls - lt + 1) {
    REP(j, ls) { ans[i] += S[i][j]; }
  }
  sort(ALL(ans));
  cout << ans[0];

  // REP(i,N) cout << ans.at(i) <<endl;
  return 0;
}