Is $SHELL used by bash in anyway?

[Peng Yu]

Hi,

In a script run by corn (on macOS), $SHELL is shown as /bin/sh, $BASH
is shown as /bin/bash.

Within the script, I run this command. $BASH is changed to
"/usr/local/bin/bash", but $SHELL remains as /bin/sh.

   LANG=en_US.UTF-8 exec /usr/local/bin/bash -c "source ~/.bashrc;
some_other_script.sh"

Does bash use the variable $SHELL in any way? Or bash simply leave it
as is as a regular environment variable without doing anything extra?

-- 
Regards,
Peng