mirror of
https://salsa.debian.org/srivasta/make-dfsg.git
synced 2024-12-25 13:41:45 +00:00
4762480ae9
The fix for SV 44742 had a side-effect that some double-colon targets were skipped. This happens because the "considered" facility assumed that all targets would be visited on each walk through the dependency graph: we used a bit for considered and toggled it on each pass; if we didn't walk the entire graph on every pass the bit would get out of sync. The new behavior after SV 44742 might return early without walking the entire graph. To fix this I changed the considered value to an integer which is monotonically increasing: it is then never possible to incorrectly determine that a previous pass through the graph already considered the current target. * filedef.h (struct file): make CONSIDERED an unsigned int. * main.c (main): No longer need to reset CONSIDERED. * remake.c (update_goal_chain): increment CONSIDERED rather than inverting it between 0<->1. (update_file_1): Reset CONSIDERED to 0 so it's re-considered. (check_dep): Ditto. * tests/scripts/features/double_colon: Add a regression test.
212 lines
9.9 KiB
C
212 lines
9.9 KiB
C
/* Definition of target file data structures for GNU Make.
|
|
Copyright (C) 1988-2016 Free Software Foundation, Inc.
|
|
This file is part of GNU Make.
|
|
|
|
GNU Make is free software; you can redistribute it and/or modify it under the
|
|
terms of the GNU General Public License as published by the Free Software
|
|
Foundation; either version 3 of the License, or (at your option) any later
|
|
version.
|
|
|
|
GNU Make is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
|
|
A PARTICULAR PURPOSE. See the GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License along with
|
|
this program. If not, see <http://www.gnu.org/licenses/>. */
|
|
|
|
|
|
/* Structure that represents the info on one file
|
|
that the makefile says how to make.
|
|
All of these are chained together through 'next'. */
|
|
|
|
#include "hash.h"
|
|
|
|
struct file
|
|
{
|
|
const char *name;
|
|
const char *hname; /* Hashed filename */
|
|
const char *vpath; /* VPATH/vpath pathname */
|
|
struct dep *deps; /* all dependencies, including duplicates */
|
|
struct commands *cmds; /* Commands to execute for this target. */
|
|
const char *stem; /* Implicit stem, if an implicit
|
|
rule has been used */
|
|
struct dep *also_make; /* Targets that are made by making this. */
|
|
struct file *prev; /* Previous entry for same file name;
|
|
used when there are multiple double-colon
|
|
entries for the same file. */
|
|
struct file *last; /* Last entry for the same file name. */
|
|
|
|
/* File that this file was renamed to. After any time that a
|
|
file could be renamed, call 'check_renamed' (below). */
|
|
struct file *renamed;
|
|
|
|
/* List of variable sets used for this file. */
|
|
struct variable_set_list *variables;
|
|
|
|
/* Pattern-specific variable reference for this target, or null if there
|
|
isn't one. Also see the pat_searched flag, below. */
|
|
struct variable_set_list *pat_variables;
|
|
|
|
/* Immediate dependent that caused this target to be remade,
|
|
or nil if there isn't one. */
|
|
struct file *parent;
|
|
|
|
/* For a double-colon entry, this is the first double-colon entry for
|
|
the same file. Otherwise this is null. */
|
|
struct file *double_colon;
|
|
|
|
FILE_TIMESTAMP last_mtime; /* File's modtime, if already known. */
|
|
FILE_TIMESTAMP mtime_before_update; /* File's modtime before any updating
|
|
has been performed. */
|
|
unsigned int considered; /* equal to 'considered' if file has been
|
|
considered on current scan of goal chain */
|
|
int command_flags; /* Flags OR'd in for cmds; see commands.h. */
|
|
enum update_status /* Status of the last attempt to update. */
|
|
{
|
|
us_success = 0, /* Successfully updated. Must be 0! */
|
|
us_none, /* No attempt to update has been made. */
|
|
us_question, /* Needs to be updated (-q is is set). */
|
|
us_failed /* Update failed. */
|
|
} update_status ENUM_BITFIELD (2);
|
|
enum cmd_state /* State of the commands. */
|
|
{
|
|
cs_not_started = 0, /* Not yet started. Must be 0! */
|
|
cs_deps_running, /* Dep commands running. */
|
|
cs_running, /* Commands running. */
|
|
cs_finished /* Commands finished. */
|
|
} command_state ENUM_BITFIELD (2);
|
|
|
|
unsigned int builtin:1; /* True if the file is a builtin rule. */
|
|
unsigned int precious:1; /* Non-0 means don't delete file on quit */
|
|
unsigned int loaded:1; /* True if the file is a loaded object. */
|
|
unsigned int low_resolution_time:1; /* Nonzero if this file's time stamp
|
|
has only one-second resolution. */
|
|
unsigned int tried_implicit:1; /* Nonzero if have searched
|
|
for implicit rule for making
|
|
this file; don't search again. */
|
|
unsigned int updating:1; /* Nonzero while updating deps of this file */
|
|
unsigned int updated:1; /* Nonzero if this file has been remade. */
|
|
unsigned int is_target:1; /* Nonzero if file is described as target. */
|
|
unsigned int cmd_target:1; /* Nonzero if file was given on cmd line. */
|
|
unsigned int phony:1; /* Nonzero if this is a phony file
|
|
i.e., a prerequisite of .PHONY. */
|
|
unsigned int intermediate:1;/* Nonzero if this is an intermediate file. */
|
|
unsigned int secondary:1; /* Nonzero means remove_intermediates should
|
|
not delete it. */
|
|
unsigned int dontcare:1; /* Nonzero if no complaint is to be made if
|
|
this target cannot be remade. */
|
|
unsigned int ignore_vpath:1;/* Nonzero if we threw out VPATH name. */
|
|
unsigned int pat_searched:1;/* Nonzero if we already searched for
|
|
pattern-specific variables. */
|
|
unsigned int no_diag:1; /* True if the file failed to update and no
|
|
diagnostics has been issued (dontcare). */
|
|
};
|
|
|
|
|
|
extern struct file *default_file;
|
|
|
|
|
|
struct file *lookup_file (const char *name);
|
|
struct file *enter_file (const char *name);
|
|
struct dep *split_prereqs (char *prereqstr);
|
|
struct dep *enter_prereqs (struct dep *prereqs, const char *stem);
|
|
void remove_intermediates (int sig);
|
|
void snap_deps (void);
|
|
void rename_file (struct file *file, const char *name);
|
|
void rehash_file (struct file *file, const char *name);
|
|
void set_command_state (struct file *file, enum cmd_state state);
|
|
void notice_finished_file (struct file *file);
|
|
void init_hash_files (void);
|
|
void verify_file_data_base (void);
|
|
char *build_target_list (char *old_list);
|
|
void print_prereqs (const struct dep *deps);
|
|
void print_file_data_base (void);
|
|
int try_implicit_rule (struct file *file, unsigned int depth);
|
|
int stemlen_compare (const void *v1, const void *v2);
|
|
|
|
#if FILE_TIMESTAMP_HI_RES
|
|
# define FILE_TIMESTAMP_STAT_MODTIME(fname, st) \
|
|
file_timestamp_cons (fname, (st).st_mtime, (st).ST_MTIM_NSEC)
|
|
#else
|
|
# define FILE_TIMESTAMP_STAT_MODTIME(fname, st) \
|
|
file_timestamp_cons (fname, (st).st_mtime, 0)
|
|
#endif
|
|
|
|
/* If FILE_TIMESTAMP is 64 bits (or more), use nanosecond resolution.
|
|
(Multiply by 2**30 instead of by 10**9 to save time at the cost of
|
|
slightly decreasing the number of available timestamps.) With
|
|
64-bit FILE_TIMESTAMP, this stops working on 2514-05-30 01:53:04
|
|
UTC, but by then uintmax_t should be larger than 64 bits. */
|
|
#define FILE_TIMESTAMPS_PER_S (FILE_TIMESTAMP_HI_RES ? 1000000000 : 1)
|
|
#define FILE_TIMESTAMP_LO_BITS (FILE_TIMESTAMP_HI_RES ? 30 : 0)
|
|
|
|
#define FILE_TIMESTAMP_S(ts) (((ts) - ORDINARY_MTIME_MIN) \
|
|
>> FILE_TIMESTAMP_LO_BITS)
|
|
#define FILE_TIMESTAMP_NS(ts) ((int) (((ts) - ORDINARY_MTIME_MIN) \
|
|
& ((1 << FILE_TIMESTAMP_LO_BITS) - 1)))
|
|
|
|
/* Upper bound on length of string "YYYY-MM-DD HH:MM:SS.NNNNNNNNN"
|
|
representing a file timestamp. The upper bound is not necessarily 29,
|
|
since the year might be less than -999 or greater than 9999.
|
|
|
|
Subtract one for the sign bit if in case file timestamps can be negative;
|
|
subtract FLOOR_LOG2_SECONDS_PER_YEAR to yield an upper bound on how many
|
|
file timestamp bits might affect the year;
|
|
302 / 1000 is log10 (2) rounded up;
|
|
add one for integer division truncation;
|
|
add one more for a minus sign if file timestamps can be negative;
|
|
add 4 to allow for any 4-digit epoch year (e.g. 1970);
|
|
add 25 to allow for "-MM-DD HH:MM:SS.NNNNNNNNN". */
|
|
#define FLOOR_LOG2_SECONDS_PER_YEAR 24
|
|
#define FILE_TIMESTAMP_PRINT_LEN_BOUND \
|
|
(((sizeof (FILE_TIMESTAMP) * CHAR_BIT - 1 - FLOOR_LOG2_SECONDS_PER_YEAR) \
|
|
* 302 / 1000) \
|
|
+ 1 + 1 + 4 + 25)
|
|
|
|
FILE_TIMESTAMP file_timestamp_cons (char const *, time_t, long int);
|
|
FILE_TIMESTAMP file_timestamp_now (int *);
|
|
void file_timestamp_sprintf (char *p, FILE_TIMESTAMP ts);
|
|
|
|
/* Return the mtime of file F (a struct file *), caching it.
|
|
The value is NONEXISTENT_MTIME if the file does not exist. */
|
|
#define file_mtime(f) file_mtime_1 ((f), 1)
|
|
/* Return the mtime of file F (a struct file *), caching it.
|
|
Don't search using vpath for the file--if it doesn't actually exist,
|
|
we don't find it.
|
|
The value is NONEXISTENT_MTIME if the file does not exist. */
|
|
#define file_mtime_no_search(f) file_mtime_1 ((f), 0)
|
|
FILE_TIMESTAMP f_mtime (struct file *file, int search);
|
|
#define file_mtime_1(f, v) \
|
|
((f)->last_mtime == UNKNOWN_MTIME ? f_mtime ((f), v) : (f)->last_mtime)
|
|
|
|
/* Special timestamp values. */
|
|
|
|
/* The file's timestamp is not yet known. */
|
|
#define UNKNOWN_MTIME 0
|
|
|
|
/* The file does not exist. */
|
|
#define NONEXISTENT_MTIME 1
|
|
|
|
/* The file does not exist, and we assume that it is older than any
|
|
actual file. */
|
|
#define OLD_MTIME 2
|
|
|
|
/* The smallest and largest ordinary timestamps. */
|
|
#define ORDINARY_MTIME_MIN (OLD_MTIME + 1)
|
|
#define ORDINARY_MTIME_MAX ((FILE_TIMESTAMP_S (NEW_MTIME) \
|
|
<< FILE_TIMESTAMP_LO_BITS) \
|
|
+ ORDINARY_MTIME_MIN + FILE_TIMESTAMPS_PER_S - 1)
|
|
|
|
/* Modtime value to use for 'infinitely new'. We used to get the current time
|
|
from the system and use that whenever we wanted 'new'. But that causes
|
|
trouble when the machine running make and the machine holding a file have
|
|
different ideas about what time it is; and can also lose for 'force'
|
|
targets, which need to be considered newer than anything that depends on
|
|
them, even if said dependents' modtimes are in the future. */
|
|
#define NEW_MTIME INTEGER_TYPE_MAXIMUM (FILE_TIMESTAMP)
|
|
|
|
#define check_renamed(file) \
|
|
while ((file)->renamed != 0) (file) = (file)->renamed /* No ; here. */
|
|
|
|
/* Have we snapped deps yet? */
|
|
extern int snapped_deps;
|