There are a few references to index.php in the WP source, but they're almost all either in the admin area and used to detect or direct to the dashboard, or explicitly for servers that don't fully support mod_rewrite.