Program: 181820
Project: 181820
Buggy source:
/** 
 * @return Returns true if this activity has been removed from the historylist, or false if it is still in the list and will be removed later.
 */
private final boolean finishActivityLocked(HistoryRecord r,int index,int resultCode,Intent resultData,String reason){
  if (r.finishing) {
    Slog.w(TAG,"String_Node_Str" + r);
    return false;
  }
  r.finishing=true;
  EventLog.writeEvent(EventLogTags.AM_FINISH_ACTIVITY,System.identityHashCode(r),r.task.taskId,r.shortComponentName,reason);
  r.task.numActivities--;
  if (r.frontOfTask && index < (mHistory.size() - 1)) {
    HistoryRecord next=(HistoryRecord)mHistory.get(index + 1);
    if (next.task == r.task) {
      next.frontOfTask=true;
    }
  }
  r.pauseKeyDispatchingLocked();
  if (mFocusedActivity == r) {
    setFocusedActivityLocked(topRunningActivityLocked(null));
  }
  HistoryRecord resultTo=r.resultTo;
  if (resultTo != null) {
    if (DEBUG_RESULTS)     Slog.v(TAG,"String_Node_Str" + resultTo + "String_Node_Str"+ r.resultWho+ "String_Node_Str"+ r.requestCode+ "String_Node_Str"+ resultCode+ "String_Node_Str"+ resultData);
    if (r.info.applicationInfo.uid > 0) {
      grantUriPermissionFromIntentLocked(r.info.applicationInfo.uid,r.packageName,resultData,r);
    }
    resultTo.addResultLocked(r,r.resultWho,r.requestCode,resultCode,resultData);
    r.resultTo=null;
  }
 else   if (DEBUG_RESULTS)   Slog.v(TAG,"String_Node_Str" + r);
  r.results=null;
  r.pendingResults=null;
  r.newIntents=null;
  r.icicle=null;
  if (mPendingThumbnails.size() > 0) {
    mCancelledThumbnails.add(r);
  }
  if (mResumedActivity == r) {
    boolean endTask=index <= 0 || ((HistoryRecord)mHistory.get(index - 1)).task != r.task;
    if (DEBUG_TRANSITION)     Slog.v(TAG,"String_Node_Str" + r);
    mWindowManager.prepareAppTransition(endTask ? WindowManagerPolicy.TRANSIT_TASK_CLOSE : WindowManagerPolicy.TRANSIT_ACTIVITY_CLOSE);
    mWindowManager.setAppVisibility(r,false);
    if (mPausingActivity == null) {
      if (DEBUG_PAUSE)       Slog.v(TAG,"String_Node_Str" + r);
      if (DEBUG_USER_LEAVING)       Slog.v(TAG,"String_Node_Str");
      startPausingLocked(false,false);
    }
  }
 else   if (r.state != ActivityState.PAUSING) {
    if (DEBUG_PAUSE)     Slog.v(TAG,"String_Node_Str" + r);
    return finishCurrentActivityLocked(r,index,FINISH_AFTER_PAUSE) == null;
  }
 else {
    if (DEBUG_PAUSE)     Slog.v(TAG,"String_Node_Str" + r);
  }
  return false;
}

Fixed version (ground truth):
/** 
 * @return Returns true if this activity has been removed from the historylist, or false if it is still in the list and will be removed later.
 */
private final boolean finishActivityLocked(HistoryRecord r,int index,int resultCode,Intent resultData,String reason){
  if (r.finishing) {
    Slog.w(TAG,"String_Node_Str" + r);
    return false;
  }
  r.finishing=true;
  EventLog.writeEvent(EventLogTags.AM_FINISH_ACTIVITY,System.identityHashCode(r),r.task.taskId,r.shortComponentName,reason);
  r.task.numActivities--;
  if (index < (mHistory.size() - 1)) {
    HistoryRecord next=(HistoryRecord)mHistory.get(index + 1);
    if (next.task == r.task) {
      if (r.frontOfTask) {
        next.frontOfTask=true;
      }
      if ((r.intent.getFlags() & Intent.FLAG_ACTIVITY_CLEAR_WHEN_TASK_RESET) != 0) {
        next.intent.addFlags(Intent.FLAG_ACTIVITY_CLEAR_WHEN_TASK_RESET);
      }
    }
  }
  r.pauseKeyDispatchingLocked();
  if (mFocusedActivity == r) {
    setFocusedActivityLocked(topRunningActivityLocked(null));
  }
  HistoryRecord resultTo=r.resultTo;
  if (resultTo != null) {
    if (DEBUG_RESULTS)     Slog.v(TAG,"String_Node_Str" + resultTo + "String_Node_Str"+ r.resultWho+ "String_Node_Str"+ r.requestCode+ "String_Node_Str"+ resultCode+ "String_Node_Str"+ resultData);
    if (r.info.applicationInfo.uid > 0) {
      grantUriPermissionFromIntentLocked(r.info.applicationInfo.uid,r.packageName,resultData,r);
    }
    resultTo.addResultLocked(r,r.resultWho,r.requestCode,resultCode,resultData);
    r.resultTo=null;
  }
 else   if (DEBUG_RESULTS)   Slog.v(TAG,"String_Node_Str" + r);
  r.results=null;
  r.pendingResults=null;
  r.newIntents=null;
  r.icicle=null;
  if (mPendingThumbnails.size() > 0) {
    mCancelledThumbnails.add(r);
  }
  if (mResumedActivity == r) {
    boolean endTask=index <= 0 || ((HistoryRecord)mHistory.get(index - 1)).task != r.task;
    if (DEBUG_TRANSITION)     Slog.v(TAG,"String_Node_Str" + r);
    mWindowManager.prepareAppTransition(endTask ? WindowManagerPolicy.TRANSIT_TASK_CLOSE : WindowManagerPolicy.TRANSIT_ACTIVITY_CLOSE);
    mWindowManager.setAppVisibility(r,false);
    if (mPausingActivity == null) {
      if (DEBUG_PAUSE)       Slog.v(TAG,"String_Node_Str" + r);
      if (DEBUG_USER_LEAVING)       Slog.v(TAG,"String_Node_Str");
      startPausingLocked(false,false);
    }
  }
 else   if (r.state != ActivityState.PAUSING) {
    if (DEBUG_PAUSE)     Slog.v(TAG,"String_Node_Str" + r);
    return finishCurrentActivityLocked(r,index,FINISH_AFTER_PAUSE) == null;
  }
 else {
    if (DEBUG_PAUSE)     Slog.v(TAG,"String_Node_Str" + r);
  }
  return false;
}