- Update to version 20181114:
* trinity: Proof of concept to auto-generate trinity spec files
* user_data: rename to smatch_kernel_user_data.c
* assigned_expr: rename to smatch_assigned_expr.c
* smatch: make the --enable/disable options take strings
* clock() is already defined on illumos, so rename the local function.
* Ignore "#ident" as found in some old sources.
* Use $(CFLAGS) when compiling smatch.c itself.
* smatch_nul_terminated: fix compile
* untracked_param: fix a NULL dereference
* uninitialized: fix a crashing bug parsing "return (foo);"
* nul_terminator: track when strings have a NUL terminator
* user_data2: fix a type issue in caller_info
* user_data: integers can't be dereferenced
* comparison: make a buffer larger to make GCC happy
* data_source: track assignments better
* extra: prevent a divide by zero
* modification_hooks: use the DB for frob(&foo);
* sval: introduce sval_binop_overflows_no_sign()
* extra: undo bogus unop changes
* array_values: fix up and support two dimensional local arrays
* param_set: don't record a param_set for p++ changes
* function_hooks: re-hack around moving the fake parameter assignment
* array_values: store array values of struct member arrays
* function_hooks: hack around fallout from moving the assignment to the end
* comparison: don't return invalid params in get_mask_comparison()
* db: don't print "failed to open" warnings...
* param_set: remove some dead code
* mtag: temporarily disable generating mtag for kmalloc()
* expressions: don't crash on invalid code
OBS-URL: https://build.opensuse.org/request/show/651120
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/smatch?expand=0&rev=13
