Fix for issue where else if would fail to pass arguments to commands. Also implements short-circuiting for and/or so that non-existent commands don't produce error messages.

Fixes https://github.com/fish-shell/fish-shell/issues/345
Fixes https://github.com/fish-shell/fish-shell/issues/349
This commit is contained in:
ridiculousfish 2012-10-17 01:07:34 -07:00
parent 5fb97f05a3
commit 91e1d59869
3 changed files with 38 additions and 3 deletions

View file

@ -365,6 +365,7 @@ static const struct block_lookup_entry block_lookup[]=
} }
}; };
static bool job_should_skip_elseif(const job_t *job, const block_t *current_block);
parser_t::parser_t(enum parser_type_t type, bool errors) : parser_t::parser_t(enum parser_type_t type, bool errors) :
parser_type(type), parser_type(type),
@ -1413,6 +1414,18 @@ void parser_t::parse_job_argument_list( process_t *p,
{ {
skip=0; skip=0;
} }
else if (job_get_flag(j, JOB_ELSEIF) && ! job_should_skip_elseif(j, current_block))
{
skip=0;
}
}
else
{
/* If this is an else if, and we should skip it, then don't expand any arguments */
if (job_get_flag(j, JOB_ELSEIF) && job_should_skip_elseif(j, current_block))
{
skip = 1;
}
} }
if( !skip ) if( !skip )
@ -1705,6 +1718,7 @@ int parser_t::parse_job( process_t *p,
int use_command = 1; // May commands be considered when checking what action this command represents int use_command = 1; // May commands be considered when checking what action this command represents
int is_new_block=0; // Does this command create a new block? int is_new_block=0; // Does this command create a new block?
bool unskip = false; // Maybe we are an elseif inside an if block; if so we may want to evaluate this even if the if block is currently set to skip bool unskip = false; // Maybe we are an elseif inside an if block; if so we may want to evaluate this even if the if block is currently set to skip
bool allow_bogus_command = false; // If we are an elseif that will not be executed, or an AND or OR that will have been short circuited, don't complain about non-existent commands
block_t *prev_block = current_block; block_t *prev_block = current_block;
int prev_tokenizer_pos = current_tokenizer_pos; int prev_tokenizer_pos = current_tokenizer_pos;
@ -1841,11 +1855,15 @@ int parser_t::parse_job( process_t *p,
} }
else if( nxt == L"and" ) else if( nxt == L"and" )
{ {
job_set_flag( j, JOB_SKIP, proc_get_last_status()); bool skip = (proc_get_last_status() != 0);
job_set_flag( j, JOB_SKIP, skip);
allow_bogus_command = skip;
} }
else if( nxt == L"or" ) else if( nxt == L"or" )
{ {
job_set_flag( j, JOB_SKIP, !proc_get_last_status()); bool skip = (proc_get_last_status() == 0);
job_set_flag( j, JOB_SKIP, skip);
allow_bogus_command = skip;
} }
else if( is_exec ) else if( is_exec )
{ {
@ -1928,6 +1946,10 @@ int parser_t::parse_job( process_t *p,
/* We want to execute this ELSEIF if the IF expression was evaluated, it failed, and so has every other ELSEIF (if any) */ /* We want to execute this ELSEIF if the IF expression was evaluated, it failed, and so has every other ELSEIF (if any) */
unskip = (ib->if_expr_evaluated && ! ib->any_branch_taken); unskip = (ib->if_expr_evaluated && ! ib->any_branch_taken);
/* But if we're not executing it, don't complain about its command if it doesn't exist */
if (! unskip)
allow_bogus_command = true;
} }
} }
} }
@ -2016,6 +2038,9 @@ int parser_t::parse_job( process_t *p,
non-existent commands. non-existent commands.
*/ */
if (current_block->skip && ! unskip) if (current_block->skip && ! unskip)
allow_bogus_command = true; //note this may already be true for other reasons
if (allow_bogus_command)
{ {
p->actual_cmd.clear(); p->actual_cmd.clear();
} }

View file

@ -93,3 +93,12 @@ else
echo delta4.1 echo delta4.1
echo delta4.2 echo delta4.2
end end
if test ! -n "abc"
else if test -n "def"
echo "epsilon5.2"
else if not_a_valid_command but it should be OK because a previous branch was taken
echo "epsilon 5.3"
else if test ! -n "abc"
echo "epsilon 5.4"
end

View file

@ -23,3 +23,4 @@ yep4.1
yep4.2 yep4.2
delta4.1 delta4.1
delta4.2 delta4.2
epsilon5.2